Update PHPDebugger.php