Amire80 has uploaded a new change for review.
https://gerrit.wikimedia.org/r/257190
Change subject: Fix a typo in the message extdist-created-skins
......................................................................
Fix a typo in the message extdist-created-skins
To make it closer to extdist-created-extensions.
Change-Id: I477cf3e58d5cc72bfc8bd68c0c72ff4562b8cf6b
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ExtensionDistributor
refs/changes/90/257190/1
diff --git a/i18n/en.json b/i18n/en.json
index 837c7cc..9bdc2c0 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -21,7 +21,7 @@
"extdist-no-versions-skins": "The selected skin ($1) is not available
in any version!",
"extdist-submit-version": "Continue",
"extdist-created-extensions": "A snapshot of version <b>$2</b> of the
<b>$1</b> extension for MediaWiki <b>$3</b> has been created. Your download
should start automatically in 5 seconds.\n\nThe URL for this snapshot
is:\n:$4\nYou can use this link to download the extension on any computer, but
please do not bookmark it, since its contents will not be updated, and it may
be deleted at a later date.\n\nYou should extract the tar archive's contents
into the extensions directory of your MediaWiki installation. For example, on a
Unix-like OS:\n\n<pre>\ntar -xzf $5 -C
/var/www/mediawiki/extensions\n</pre>\n\nOn Windows, you can use
[http://www.7-zip.org/ 7-zip] to extract the files.\n\nIf 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.\n\nAfter 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.\n\nIf you have any questions about
this extension distribution system, please go to [[Extension
talk:ExtensionDistributor]].",
- "extdist-created-skins": "A snapshot of version <b>$2</b> of the
<b>$1</b> skin for MediaWiki <b>$3</b> has been created. Your download should
start automatically in 5 seconds.\n\nThe URL for this snapshot is:\n:$4\nYou
can use this link to download the skin on any computer, but please do not
bookmark it, since its contents will not be updated, and it may be deleted at a
later date.\n\nYou should extract the tar archive's contents into the skins
directory of your MediaWiki installation. For example, on a Unixn<pre>\ntar
-xzf $5 -C /var/www/mediawiki/skins\n</pre>\n\nOn Windows, you can use
[http://www.7-zip.org/ 7-zip] to extract the files.\n\nIf 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 skins
directory on the server.\n\nAfter you have extracted the files, you will need
to register the skin in LocalSettings.php. The skin documentation should have
instructions on how to do this.\n\nIf you have any questions about this skin
distribution system, please go to [[Extension talk:ExtensionDistributor]].",
+ "extdist-created-skins": "A snapshot of version <b>$2</b> of the
<b>$1</b> skin for MediaWiki <b>$3</b> has been created. Your download should
start automatically in 5 seconds.\n\nThe URL for this snapshot is:\n:$4\nYou
can use this link to download the skin on any computer, but please do not
bookmark it, since its contents will not be updated, and it may be deleted at a
later date.\n\nYou should extract the tar archive's contents into the skins
directory of your MediaWiki installation. For example, on a Unix-like
OS:\n\n<pre>\ntar -xzf $5 -C /var/www/mediawiki/skins\n</pre>\n\nOn Windows,
you can use [http://www.7-zip.org/ 7-zip] to extract the files.\n\nIf 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 skins
directory on the server.\n\nAfter you have extracted the files, you will need
to register the skin in LocalSettings.php. The skin documentation should have
instructions on how to do this.\n\nIf you have any questions about this skin
distribution system, please go to [[Extension talk:ExtensionDistributor]].",
"extdist-want-more-extensions": "Get another extension",
"extdist-want-more-skins": "Get another skin",
"extdist-tar-error": "Unable to fetch archive URL from archive API.",
--
To view, visit https://gerrit.wikimedia.org/r/257190
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I477cf3e58d5cc72bfc8bd68c0c72ff4562b8cf6b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ExtensionDistributor
Gerrit-Branch: master
Gerrit-Owner: Amire80 <amir.ahar...@mail.huji.ac.il>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
