if (strpos($_SERVER[‘HTTP_USER_AGENT’], ’MSIE’) !== FALSE ||     strpos($_SERVER[‘HTTP_USER_AGENT’], ’Trident’) !== FALSE) {     echo ’You are using Internet Explorer.
’; }