Update debugger.php