title: Best way to sanitize $_SERVER['HTTP_USER_AGENT']?
body: <p>What would be the best way to sanitize this? Would filter_var with FILTER_SANITIZE_STRING be the best bet here, or using one of the other filters?</p>
  
  <p><a href="http://www.php.net/manual/en/filter.filters.sanitize.php" rel="nofollow">http://www.php.net/manual/en/filter.filters.sanitize.php</a></p>
  
  <p>I know there is alot of ways of sanitizing but not sure of the best one.</p>