title: Detect Internet Explorer from PHP (version 11 too)
body: <p>What is the correct way to detect Internet Explorer in PHP, any version, including IE 11?</p>
  
  <p>Tried:</p>
  
  <pre><code>f(!(isset($_SERVER['HTTP_USER_AGENT']) &amp;&amp; (strpos($_SERVER['HTTP_USER_AGENT'], 'Trident') !== false || 
     strpos($_SERVER['HTTP_USER_AGENT'], 'MSIE') !== false))){
  </code></pre>
  
  <p>The above does not work for me.</p>