Translations:Manual:$wgCheckFileExtensions/12/en

This bug was corrected in version 1.13.0 ($bug).