Add $wgUserHtml option; set to false to disable use of user-supplied HTML