Fix 8590 : remove support for $wgUserHtml . Our specific HTML subset