code/ie_detect.php

   1 <?php
   2
   3 # return true if user_agent is IE5.5 or IE6
   4 function ie5or6() {
   5         $agent = $_SERVER['HTTP_USER_AGENT'];
   6         return (strpos($agent, 'MSIE 5.') || strpos($agent, 'MSIE 5.') || strpos($agent, 'MSIE 6.'));
   7 }
   8
   9 ?>