Escape characters that were unescaped by the parser
authorGuy Van den Broeck <guyvdb@users.mediawiki.org>
Wed, 20 Aug 2008 19:19:36 +0000 (19:19 +0000)
committerGuy Van den Broeck <guyvdb@users.mediawiki.org>
Wed, 20 Aug 2008 19:19:36 +0000 (19:19 +0000)
commit60b87b4ef097150c34d91e2688da8149ff669247
tree2f51695cd50caa442b2982f950c5cfba4c5c22b4
parent80d4d8f463d0bb72bff822df9796e733b49f040d
Escape characters that were unescaped by the parser
includes/HTMLDiff.php