$wgHTML5 is a different variable than $wgHtml5 and the right name is the later.
authorPlatonides <platonides@gmail.com>
Mon, 26 Nov 2012 21:34:40 +0000 (22:34 +0100)
committerPlatonides <platonides@gmail.com>
Mon, 26 Nov 2012 21:34:40 +0000 (22:34 +0100)
commit0473c33ecb20c4829dfabcadef0a988c1c16e3fb
tree849894740338ae7dbae153917fadfde4dea995ce
parentf35fcb89e969a2fe0df074ade51822f70ac0e2aa
$wgHTML5 is a different variable than $wgHtml5 and the right name is the later.

Change-Id: Idfc2e2b61a791a2d9d6a33cbffe2fc12054e22d8
tests/phpunit/includes/SanitizerTest.php