Use $_SERVER instead of $_GET

To avoid conditional variable testing if $_GET["url"] does not exist
yet.