$wgTidyConfig