$wgTidyInternal