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. 029079d Update git submodules by libraryupgrader · 78 minutes ago master
  2. eceb050 Update git submodules by libraryupgrader · 78 minutes ago
  3. 4a4a30c Update git submodules by libraryupgrader · 2 hours ago
  4. fd2dccc Update git submodules by libraryupgrader · 2 hours ago
  5. 1c8b1e8 Update git submodules by libraryupgrader · 2 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