Index: html_syntax.php
===================================================================
RCS file: /repository/phpdoc/scripts/html_syntax.php,v
retrieving revision 1.12
diff -u -r1.12 html_syntax.php
--- html_syntax.php	3 Feb 2007 22:57:46 -0000	1.12
+++ html_syntax.php	9 Feb 2007 20:43:49 -0000
@@ -26,16 +26,12 @@
 }
 set_time_limit(5*60); // can run long, but not more than 5 minutes
 
-function callback_html_number_entities_decode($matches) {
-	return chr($matches[1]);
-}
-
 function callback_highlight_php($matches) {
-	$with_tags = preg_replace_callback("!&#([0-9]+);!", "callback_html_number_entities_decode", trim($matches[1]));
+	$matches[1] = trim($matches[1]);
 	if ($GLOBALS["TYPE"] == "php") {
-		return "\n<?php\nhighlight_php('". addcslashes($with_tags, "'\\") ."');\n?>\n";
+		return "\n<?php\nhighlight_php('". addcslashes($matches[1], "'\\") ."');\n?>\n";
 	} else { // "html"
-		return highlight_string($with_tags, true);
+		return highlight_string($matches[1], true);
 	}
 }