Last modified: 2013-02-11 15:21:30 UTC
WikimediaMaintenance doesn't seem to have an extension page in mediawiki.org.
Maybe that's http://www.mediawiki.org/wiki/Extension:Maintenance ?
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.
Feel free to add more info.
But yeah, pretty much nobody outside of WMF has any reason to ever use this.