r36294 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r36293‎ | r36294 | r36295 >
Date:18:44, 14 June 2008
Author:grondin
Status:old
Tags:
Comment:
Adding extension informations
Modified paths:
  • /trunk/extensions/ExtensionDistributor/ExtensionDistributor.i18n.php (modified) (history)
  • /trunk/extensions/ExtensionDistributor/ExtensionDistributor.php (modified) (history)

Diff [purge]

Index: trunk/extensions/ExtensionDistributor/ExtensionDistributor.i18n.php
@@ -3,6 +3,7 @@
44 $messages = array(
55 'en' => array(
66 'extensiondistributor' => 'Download MediaWiki extension',
 7+ 'extdist-desc' => 'Extension for distributing snapshot archives of extensions',
78 'extdist-not-configured' => 'Please configure $wgExtDistTarDir and $wgExtDistWorkingCopy',
89 'extdist-wc-missing' => 'The configured working copy directory does not exist!',
910 'extdist-no-such-extension' => 'No such extension "$1"',
Index: trunk/extensions/ExtensionDistributor/ExtensionDistributor.php
@@ -10,6 +10,15 @@
1111 * Configuration
1212 */
1313
 14+$wgExtensionCredits['specialpage'][] = array(
 15+ 'name' => 'Extension Distributor',
 16+ 'author' => 'Tim Starling',
 17+ 'svn-revision' => '$LastChangedRevision: 35631 $',
 18+ 'url' => 'http://www.mediawiki.org/wiki/Extension:ExtensionDistributor',
 19+ 'description' => 'This is an extension for distributing snapshot archives of extensions',
 20+ 'descriptionmsg' => 'extdist-desc',
 21+);
 22+
1423 /** Directory to put tar files in */
1524 $wgExtDistTarDir = false;
1625

Status & tagging log