Thread:Project:Support desk/uploading tex files

It looks like including tex in the array $wgFileExtensions is not sufficient as wiki returns an error

File extension does not match MIME type

and upload is aborted. Is there a way to configure mediawiki to support this file extension?

MediaWiki	1.16.0 PHP	5.1.6 (apache2handler) MySQL	5.0.77