Index: trunk/core/kernel/utility/debugger.php
===================================================================
diff -u -N -r7855 -r7991
--- trunk/core/kernel/utility/debugger.php	(.../debugger.php)	(revision 7855)
+++ trunk/core/kernel/utility/debugger.php	(.../debugger.php)	(revision 7991)
@@ -545,7 +545,7 @@
 				}
 
 				$string = str_replace( Array('\\', '/') , Array('_no_match_string_', '_n_m_s_'), $string);
-				$string = highlight_string('<?php '.$string.'?>', true);
+				$string = highlight_string('<?php'.$string.'?>', true);
 				$string = str_replace( Array('_no_match_string_', '_n_m_s_'), Array('\\', '/'), $string);
 				return preg_replace('/&lt;\?(.*)php(.*)\?&gt;/Us', '\\2', $string);
 			}