title: Redirecting from one port to another using php
body: <p>I have a Nodejs game at <code>localhost:8000/index.html</code> and my website is at <code>localhost:80</code>. How do I redirect from port 80 to 8000 using PHP?</p>
  <pre><code>header(&quot;Location: localhost:8000/index.html&quot;);
  </code></pre>