PHP: the open resource dialog should now support fuzzy search
PHP: avoid parsing the core zip files each time we open a PHP workspace