title: Determine client OS in PHP
body: <p>I have two pages redirection in my index.php. The pages are <code>example_system_os.php</code> and <code>example_mobile_os.php</code>.</p>
  
  <p>How to determine the user's operating system in PHP?</p>