Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Collection of all MediaWiki extensions. You can check out all MediaWiki extensions by cloning this repository, and then doing `git submodule update --init`

Clone this repo:
  1. 086fa48 Update git submodules by libraryupgrader · 73 minutes ago master
  2. 6eded85 Update git submodules by Pppery · 2 hours ago
  3. 6a49bff Update git submodules by jenkins-bot · 3 hours ago
  4. 7b6b7f9 Update git submodules by Nemoralis · 3 hours ago
  5. e34483d Update git submodules by Nemoralis · 3 hours ago

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