Translations:Manual:$wgStrictFileExtensions/7/en

However, they may choose to ignore the message and upload the file anyway (assuming the file's extension is not in the $FileBlacklist).