PHP: fixed: removed the small delay when loading a new PHP workspace