This is the collection of all MediaWiki extensions.
You can check out all MediaWiki extensions by cloning this repository, and then doing git submodule update --init
.
Several maintenance and utility scripts are included:
- check-entry-points.py - Validate extension entry points.
- check-sync.sh - Compare latest submodule pointers with the master branch of each repo.
- quick-update - Fetch and update submodules in parallel.
- sort-gitmodules.py - Reorder existing .gitmodules
- sync-with-gerrit.py - Find all MediaWiki extensions in gerrit, add as submodules if state is not READONLY, removes any that state: READ_ONLY and rebuild .gitmodules