<?php echo $_SERVER['HTTP_USER_AGENT'].'<br />';
<?php echo $_SERVER['HTTP_X_OPERAMINI_PHONE_UA'].'<br />';