$wgTmhFileExtensions