Extension:ExtensionDistributor/ja

ExtensionDistributor 拡張機能は git リポジトリ内の .tar.gz スナップショットを生成してそれを配布します. www.mediawiki.org 内での使用を意図しています. 動作については Special:ExtensionDistributor を参照してください.

インストール
LocalSettings.php に以下を追加します.

when you have installed it go to where your ExtensionDistributor.php and edit for example this one is for mediawiki $wgExtDistListFile = 'https://gerrit.wikimedia.org/mediawiki-extensions.txt';

$wgExtDistArchiveAPI = 'https://api.github.com/repos/wikimedia/mediawiki-extensions-$EXT/tarball/$REF';

$wgExtDistProxy = 'url-downloader.wikimedia.org:8080';