Extension:ExtensionDistributor
![]() État de la version : stable |
|
---|---|
Implémentation | Page spéciale |
Description | Enables the distribution of extensions from www.mediawiki.org |
Auteur(s) | Tim Starling, Sam Reed, Chad Horohoe |
Dernière version | mises à jour continues |
Politique de compatibilité | Versions ponctuelles alignées avec MediaWiki. Le master n'est pas compatible arrière. |
MediaWiki | 1.26+ |
Modifie la base de données |
Non |
Licence | Licence publique générale GNU v2.0 ou supérieur |
Téléchargement | |
|
|
Téléchargements trimestriels | 33 (Ranked 107th) |
Traduire l’extension ExtensionDistributor sur translatewiki.net si elle y est disponible | |
Problèmes | Tâches ouvertes · Signaler un bogue |
The ExtensionDistributor extension generates .tar.gz snapshots of extensions in the git repository and distributes them. It is intended for use on www.mediawiki.org. See Special:ExtensionDistributor to see how it works.
Installation
- Téléchargez et placez le(s) fichier(s) dans un répertoire appelé
ExtensionDistributor
dans votre dossierextensions/
.
Les développeurs et les contributeurs au code doivent à la place installer l'extension à partir de Git en utilisant:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/ExtensionDistributor - Ajoutez le code suivant à la fin de votre fichier LocalSettings.php :
wfLoadExtension( 'ExtensionDistributor' );
- Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.
Configuration settings:
/**
* Configuration for the API client to use
*
* Must have a 'class' key, can either be
* "GithubExtDistProvider" or "GerritExtDistProvider"
*
* Common parameters:
* 'apiUrl' - API url to use with $EXT and $REF variables
* 'tarballUrl' - API url where tarballs are located
* 'tarballName' - Expected filename of tarballs
* 'proxy' - Proxy to use (optional)
*
* Github specific parameters:
* 'token' - An OAuth token for authenticating requests
*
* Gerrit specific parameters:
* 'repoListUrl' - API url to fetch a list of repositories
*
* @var array
*/
$wgExtDistAPIConfig = false;
/**
* File to fetch list of extensions from, with one extension per line
* Only needed for the Github provider
* Example url: https://gerrit.wikimedia.org/mediawiki-extensions.txt
*/
$wgExtDistListFile = false;
/**
* Supported branches/tags, master is the default (and shouldn't be removed)
*/
$wgExtDistSnapshotRefs = array(
'master',
);
/**
* Snapshot branch/tag to default to
*/
$wgExtDistDefaultSnapshot = 'master';
You'll need to set up some configuration for the extension to work. For Wikimedia's Gerrit instance, it would look like:
$wgExtDistAPIConfig = array(
'class' => \MediaWiki\Extension\ExtensionDistributor\Providers\GerritExtDistProvider::class,
'apiUrl' => 'https://gerrit.wikimedia.org/r/projects/mediawiki%2F$TYPE%2F$EXT/branches',
'tarballUrl' => 'https://extdist.wmflabs.org/dist/$TYPE/$EXT-$REF-$SHA.tar.gz',
'tarballName' => '$EXT-$REF-$SHA.tar.gz',
'repoListUrl' => 'https://gerrit.wikimedia.org/r/projects/?p=mediawiki/$TYPE/',
);
$wgExtDistSnapshotRefs = array(
'master',
'REL1_25',
);
The Gerrit provider requires an independent tarball generator, the source code for the one running at extdist.wmflabs.org can be found: https://github.com/wikimedia/labs-tools-extdist
Cette extension est utilisée par au moins un des projets Wikimédia. Cela signifie probablement que l’extension est assez stable et fonctionnelle pour être utilisée sur des sites à fort trafic. Recherchez le nom de cette extension dans le CommonSettings.php de Wikimédia et dans le fichier de configuration InitialiseSettings.php pour situer les endroits où elle est installée. Une liste complète des extensions installées sur un Wiki donné peut être visualisée sur la page Special:Version de ce wiki. |