typo in php::xdebug