<?php

  // PHP script running on a Linux server

  $os = php_uname('s');

  echo "Operating System: $os";

?>

​