add timestamp to debug SQL output

diff --git a/lib-php/DebugHtml.php b/lib-php/DebugHtml.php
index 0edc081ac43a66f4da025b15c29b03621b93dfec..5d12be678e4ac5ca95f981a63d067944ef6510a0 100644 (file)
--- a/lib-php/DebugHtml.php
+++ b/lib-php/DebugHtml.php
@@ -135,7 +135,7 @@ class Debug
 
     public static function printSQL($sSQL)
     {
-        echo '<p><tt><font color="#aaa">'.$sSQL.'</font></tt></p>'."\n";
+        echo '<p><tt><b>'.date('c').'</b> <font color="#aaa">'.$sSQL.'</font></tt></p>'."\n";
     }
 
     private static function outputVar($mVar, $sPreNL)