1) Removed outdated PHPSourceLocator extension entry.