title: How do I properly split a PATH variable in PHP?
body: <p>I want to split</p>
  
  <pre><code>$path = getenv('PATH');
  </code></pre>
  
  <p>into its components. How do I determine the separator char in an os-dependent fashion?</p>