From http://www.php.net/manual/en/debugger.php