| 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.
The following 200 pages are in this category, out of 918 total.
(previous page) (next page)