https://github.com/wikimedia/mediawiki-extensions
GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawiki.org/wiki/Developer_account if you wish to contribute.
https://github.com/wikimedia/mediawiki-extensions
Last synced: about 2 months ago
JSON representation
GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawiki.org/wiki/Developer_account if you wish to contribute.
- Host: GitHub
- URL: https://github.com/wikimedia/mediawiki-extensions
- Owner: wikimedia
- Created: 2019-02-10T04:44:20.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2025-04-10T14:38:33.000Z (about 2 months ago)
- Last Synced: 2025-04-10T14:52:18.595Z (about 2 months ago)
- Language: Python
- Homepage: https://gerrit.wikimedia.org
- Size: 281 MB
- Stars: 39
- Watchers: 17
- Forks: 10
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
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