Translations:Manual:$wgUseTeX/4/en

This is obsolete in MediaWiki 1.18 and later, replaced by breaking out the feature to the $1 extension.