<?php class DebuggerDummy { function dumpVars() { } function formatSQL($sql) { } function highlightString($string) { } function getFileLink($file, $lineno = 1, $title = '') { } function appendTrace() { } function appendHTML($html) { } function profileStart($key, $description) { } function profileFinish($key) { } function generateID() { } function printReport() { } function saveToFile($msg) { } } $debugger = new DebuggerDummy(); ?>