Extension:ExtensionInfo

From mediawiki.org