Searching in php/php.api.editor/src/org