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