Translations:Manual:$wgDefaultUserOptions/45/en

Only applies if $UseTeX is set.