Get operating system info

Question

I recently started wondering about sites like http://thismachine.info/ that get the user\'s operating system info. I have not been able to find out how to do that with PHP,

Answer 1

Took the following code from php manual for get_browser.

$browser = get_browser(null, true);
print_r($browser);

The $browser array has platform information included which gives you the specific Operating System in use.

Please make sure to see the "Notes" section in that page. This might be something (thismachine.info) is using if not something already pointed in other answers.