adding support for $_SERVER built-in