"Federico Leva (Nemo)" writes about the MediaWiki Installer:
Amir E. Aharoni, 26/11/2013 10:01:
I thought about adding it to core, but it has around 300 messages, which is a bit heavy. Then I thought to list it as a separate group so that it would appear in the TUX groups selector when people would search for "mediawiki". Any other thoughts?
The "extensions used by Wikimedia" group already has some super-huge extensions which almost no wiki uses, e.g. EducationProgram. I don't see any reason not to add it there, where it won't affect the stats required by Wikimedia LangCom's language policy or anything else.
Agreed.
Purodha