Category:Extensions in Wikimedia version control

These extensions are checked in to MediaWiki's official Subversion repository, git.wikimedia.org.

This category is added by the WikimediaDownload template.