> Absolutely. MediaWiki is Free Software, through and through (The WikiMedia > foundation is a child of the Free Software Movement). The Javascript > shouldn't be an exception. How about we submit a bug about this? In the > interim, you can edit your local files with the appropriate web labels.
There's actually a bug that's been open with MediaWiki for years! https://phabricator.wikimedia.org/T38866 -- Zak Rogoff Campaigns Manager Free Software Foundation GnuPG key fingerprint: 6EB2 B137 347E 6F7C DEDC AFF6 82DE 8D64 B509 0AC8
