Update workspace.php