<?php echo $_SERVER['HTTP_USER_AGENT'];
Standard input is empty
Standard output is empty
PHP Notice: Undefined index: HTTP_USER_AGENT in /home/wTudaA/prog.php on line 3
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!