Category:Extensions in Wikimedia version control
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.
This category currently contains no pages or media.