escape anchor names
authorErik Moeller <erik@users.mediawiki.org>
Mon, 30 Jun 2003 02:33:30 +0000 (02:33 +0000)
committerErik Moeller <erik@users.mediawiki.org>
Mon, 30 Jun 2003 02:33:30 +0000 (02:33 +0000)
includes/OutputPage.php

index 0db1ead..edda205 100644 (file)
@@ -1255,6 +1255,7 @@ class OutputPage {
 
                        
                        $canonized_headline=preg_replace("/<.*?>/","",$headline); // strip out HTML
+                       $canonized_headline=htmlspecialchars($canonized_headline);
                        $tocline=$canonized_headline;
                        $canonized_headline=str_replace(" ","_",trim($canonized_headline));                     
                        $refer[$c]=$canonized_headline;