Resposta

Como descobrir o sistema operacional usado pelo visitante?

Simples. Basta usar a constante PHP_OS

<?php

echo PHP_OS;

?>