| Index: trunk/extensions/ExtensionDistributor/ExtensionDistributor_body.php |
| — | — | @@ -223,7 +223,7 @@ |
| 224 | 224 | |
| 225 | 225 | // Show a message |
| 226 | 226 | $wgOut->addWikiMsg( 'extdist-created', $extension, "r$rev", |
| 227 | | - $this->getBranchName( $version ), $url ); |
| | 227 | + $this->getBranchName( $version ), $url, $tarName ); |
| 228 | 228 | $wgOut->addHTML( '<p><br/><big>' . |
| 229 | 229 | '<a href="' . $this->getTitle()->escapeLocalUrl() . '">' . |
| 230 | 230 | htmlspecialchars( wfMsg( 'extdist-want-more' ) ) . '</a></big></p>' ); |
| Index: trunk/extensions/ExtensionDistributor/ExtensionDistributor.i18n.php |
| — | — | @@ -33,7 +33,21 @@ |
| 34 | 34 | :$4 |
| 35 | 35 | It may be used for immediate download to a server, but please do not bookmark it, since the contents will not be updated, and it may be deleted at a later date. |
| 36 | 36 | |
| 37 | | -The tar archive should be extracted into your extensions directory, then follow the extension's documentation to enable it in MediaWiki. |
| | 37 | +The tar archive should be extracted into your extensions directory. For example, on a unix-like OS: |
| | 38 | + |
| | 39 | +<pre> |
| | 40 | +tar -xzf $5 -C /var/www/mediawiki/extensions |
| | 41 | +</pre> |
| | 42 | + |
| | 43 | +On Windows, you can use [http://www.7-zip.org/ 7-zip] to extract the files. |
| | 44 | + |
| | 45 | +If your wiki is on a remote server, extract the files to a temporary directory on your local computer, and then upload '''all''' of the extracted files to the extensions directory on the server. |
| | 46 | + |
| | 47 | +Note that some extensions need a file called ExtensionFunctions.php, located at <tt>extensions/ExtensionFunctions.php</tt>, that is, in the ''parent'' directory of this particular extension's directory. The snapshot for these extensions contains this file as a tarbomb, extracted to ./ExtensionFunctions.php. Do not neglect to upload this file to your remote server. |
| | 48 | + |
| | 49 | +After you have extracted the files, you will need to register the extension in LocalSettings.php. The extension documentation should have instructions on how to do this. |
| | 50 | + |
| | 51 | +If you have any questions about this extension distribution system, please go to [[Extension talk:ExtensionDistributor]]. |
| 38 | 52 | ", |
| 39 | 53 | 'extdist-want-more' => 'Get another extension', |
| 40 | 54 | ); |