Require $wgHtml5 for $wgExperimentalHtmlIds
authorAryeh Gregor <simetrical@users.mediawiki.org>
Mon, 1 Feb 2010 01:43:07 +0000 (01:43 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Mon, 1 Feb 2010 01:43:07 +0000 (01:43 +0000)
commita889c89d1ba38f2b9f21ee696628dbce2442d788
tree8adf70303d2cce68fe47b24b9f987a147e9a265b
parentcf8d7ff1ebeec3e523b246b8fb9cb2a63ea61e7d
Require $wgHtml5 for $wgExperimentalHtmlIds

This way, if you want to disable HTML5 you don't have to turn off an
extra setting to maintain validity.
includes/Sanitizer.php
includes/parser/Parser.php