PHP_IDE_CONFIG=serverName=keylighter