Add $wgUserHtml option; set to false to disable use of user-supplied HTML
authorBrion Vibber <brion@users.mediawiki.org>
Sun, 9 May 2004 12:04:59 +0000 (12:04 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sun, 9 May 2004 12:04:59 +0000 (12:04 +0000)
commit5bcd4708470455c89fd332a4ec212c340631258f
tree5c7c14cd9566077fd4c78ad106906fa7af2ba25b
parenta1509c0fd37a62ff9e28d7f8626c5a49283fd831
Add $wgUserHtml option; set to false to disable use of user-supplied HTML
in wiki markup. Note that <nowiki>, <pre>, <math> etc are counted as wiki
markup. That <pre> looks like HTML's <pre> is a coincidence; they behave
differently (<pre> also disables other wiki markup like <nowiki> does).

Also, escape the <math> tag when $wgUseTeX is off.
includes/DefaultSettings.php
includes/Parser.php