<?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();
?>