fix PHP_CodeBrowser configuration