title: php's $_SERVER['REQUEST_URI '] encoding problem?
body: <p>When I output <code>$_SERVER['REQUEST_URI'];</code> on:</p>
  
  <pre><code>http://localhost/tools/?tool=cs&amp;sub=1
  </code></pre>
  
  <p>I get:</p>
  
  <pre><code>/tools/?tool=cs⊂=1
  </code></pre>
  
  <p>Is there other solution to get <code>/tools/?tool=cs&amp;sub=1</code> besides using <code>&amp;amp;</code> instead of <code>&amp;</code> ?</p>