- PerfektesChaos: völlig obsolet - obsolete script
- Rillke: I think I'll find a fix in time.
- Dr Brains: it have never been used (I'm not even sure they still work) and they are obsolete since UploadWizard is available; item of the list of obsolete variables
All other users should have been notified, either by the Gerrit change or by me directly.
In some cases (e.g. in my autoFormatter script) the "fix" is to duplicate the list of file extensions. Which raises an other problem: How do I keep my script and the setting in sync? And much worse: How should I know the allowed file extensions if my script is used in an other wiki? (May it be an other Wikimedia wiki or an external one. Yes, my script is used in external MediaWiki installations.)
I think this JS variable needs to be present on all wiki pages, at least in edit mode. There are scripts (like mine) that need to know which file extensions are valid in the [[File:, [[Media: and <gallery> syntax.
When a wiki is using a file repo and the file repo allows more file extensions than the wiki with your script, than the result maybe wrong, because the script rejects valid file usage (from the file repo).