# MediaWiki-ExtensionFetcher

**Repository Path**: mirrors_brion/MediaWiki-ExtensionFetcher

## Basic Information

- **Project Name**: MediaWiki-ExtensionFetcher
- **Description**: Extension for MediaWiki to manage fetching extensions from git
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-09-24
- **Last Updated**: 2026-06-20

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

Helper extension to find and fetch other MediaWiki extensions from MediaWiki's master
gerrit source control system.

== Setup ==

In your LocalSettings.php add:

  require "$IP/extensions/ExtensionFetcher/ExtensionFetcher.php";


== Usage examples ==

  php extensions/ExtensionFetcher/maintenance/listExtensions.php

Shows list of all available extensions from MediaWiki's gerrit repos.

Full lists visible here:
https://gerrit.wikimedia.org/r/#admin,projects


  php extensions/ExtensionFetcher/maintenance/clone.php Math

Clones the 'Math' extension into extensions/Math, cloned from the anonymous
repo over https.


  php extensions/ExtensionFetcher/maintenance/clone.php --developer Math

Clones the 'Math' extension into extensions/Math, cloned from Gerrit over ssh
using your default credentials.


== Todo ==

* add a web interface for sysadmins
* add helpers for updating
* add helpers for enabling/disabling extensions once installed?