From ed342a3667c2c5046b06348ca233d208c2d281df Mon Sep 17 00:00:00 2001
From: Rasmus Lerdorf <rasmus@php.net>
Date: Sun, 2 Jul 2000 16:10:39 +0000
Subject: [PATCH] Ok, give up on allowing any tags other than br and p in the
 user notes. Anything else can and will screw up the manual pages.  I know
 this makes a lot of the user-contributed code examples hard to read, but
 we'll just have to live with that.

---
 include/shared-manual.inc | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index ae2336077..dff5f48f9 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -158,13 +158,14 @@ function makeEntry($date,$name,$blurb,$id=0) {
 </TD></TR>
 <TR BGCOLOR="#F0F0F0"><TD>
 <?
-	$blurb = htmlspecialchars($blurb);
-	$fixes = array('<pre>', '</pre>', '<tt>', '</tt>', '<br>', '<p>' );
-	reset($fixes);
-	while (list(,$f)=each($fixes)) {
-		$blurb=str_replace(htmlspecialchars($f), $f, $blurb);
-		$blurb=str_replace(htmlspecialchars(strtoupper($f)), $f, $blurb);
-	}
+	$blurb = strip_tags($blurb,'<br><p>');
+#	$blurb = htmlspecialchars($blurb);
+#	$fixes = array('<pre>', '</pre>', '<tt>', '</tt>', '<br>', '<p>' );
+#	reset($fixes);
+#	while (list(,$f)=each($fixes)) {
+#		$blurb=str_replace(htmlspecialchars($f), $f, $blurb);
+#		$blurb=str_replace(htmlspecialchars(strtoupper($f)), $f, $blurb);
+#	}
 	echo $blurb;
 ?><BR>
 <?if (isset($MAGIC_COOKIE)):?>