Update workspace.inc.php