Category:Extensions in Wikimedia version control/mr
 | Administrators, please do not delete this category! This category is automatically populated by {{WikimediaDownload}} and so should not be deleted even if empty. |
These extensions are checked in to MediaWiki's official Git repository, Gerrit.