Revision ac4bdd872d369cd764425e2faaee9d08088f53e8

Committed on 10/12/2011 6:30 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Latest PHP 5.4 build now provides SERVER_NAME and SERVER_PORT, no need to tweak them any more

Share your information