Wikimedia Foundation Mediawiki - MintyDocs Extension