PHP: workspace view: added an option to add an existing folder