Delete workbench.php