Translations:Manual:$wgFileExtensions/9/en

i.e. $wgFileExtensions is then only a preferred set of extensions.