WikimediaMaintenance doesn't seem to have an extension page in mediawiki.org.
Version: unspecified
Severity: major
WikimediaMaintenance doesn't seem to have an extension page in mediawiki.org.
Version: unspecified
Severity: major
That is a totally unrelated extension. WikimediaMaintenance just contains hacks and scripts that are very Wikimedia specific, and I don't really think there is a need for an extension page, since not many people can use (and install) the extension.
Done.
https://www.mediawiki.org/wiki/Extension:WikimediaMaintenance
Feel free to add more info.
But yeah, pretty much nobody outside of WMF has any reason to ever use this.