PHP: $_ENV to getenv