Fix undefined $wgTmhFileExtensions

Change-Id: I5c3f2999c7211fffa249ad6d0c22e94147bcc41f