jenkins-bot has submitted this change and it was merged.
Change subject: Link to mediawiki.org's SkinDistributor from the fallback skin
......................................................................
Link to mediawiki.org's SkinDistributor from the fallback skin
Change-Id: I2502f804bef479c2009408db4e429bd0981a8bbc
---
M languages/i18n/en.json
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index d4d501b..75bdb11 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -3556,8 +3556,8 @@
"log-name-pagelang": "Change language log",
"log-description-pagelang": "This is a log of changes in page
languages.",
"logentry-pagelang-pagelang": "$1 {{GENDER:$2|changed}} page language
for $3 from $4 to $5.",
- "default-skin-not-found": "Whoops! The default skin for your wiki,
defined in <code dir=\"ltr\">$wgDefaultSkin</code> as <code>$1</code>, is not
available.\n\nYour installation seems to include the following skins. See
[https://www.mediawiki.org/wiki/Manual:Skin_configuration Manual: Skin
configuration] for information how to enable them and choose the
default.\n\n$2\n\n; If you have just installed MediaWiki:\n: You probably
installed from git, or directly from the source code using some other method.
This is expected. Try installing some skins from
[https://www.mediawiki.org/wiki/Category:All_skins mediawiki.org's skin
directory], by:\n:* Downloading the [https://www.mediawiki.org/wiki/Download
tarball installer], which comes with several skins and extensions. You can copy
and paste the <code>skins/</code> directory from it.\n:* Cloning one of the
<code>mediawiki/skins/*</code> repositories via git into the <code
dir=\"ltr\">skins/</code> directory of your MediaWiki installation.\n: Doing
this should not interfere with your git repository if you're a MediaWiki
developer.\n\n; If you have just upgraded MediaWiki:\n: MediaWiki 1.24 and
newer no longer automatically enables installed skins (see
[https://www.mediawiki.org/wiki/Manual:Skin_autodiscovery Manual: Skin
autodiscovery]). You can paste the following lines into
<code>LocalSettings.php</code> to enable all currently installed skins:\n\n<pre
dir=\"ltr\">$3</pre>\n\n; If you have just modified
<code>LocalSettings.php</code>:\n: Double-check the skin names for typos.",
- "default-skin-not-found-no-skins": "Whoops! The default skin for your
wiki, defined in <code>$wgDefaultSkin</code> as <code>$1</code>, is not
available.\n\nYou have no installed skins.\n\n; If you have just installed or
upgraded MediaWiki:\n: You probably installed from git, or directly from the
source code using some other method. This is expected. MediaWiki 1.24 and newer
doesn't include any skins in the main repository. Try installing some skins
from [https://www.mediawiki.org/wiki/Category:All_skins mediawiki.org's skin
directory], by:\n:* Downloading the [https://www.mediawiki.org/wiki/Download
tarball installer], which comes with several skins and extensions. You can copy
and paste the <code>skins/</code> directory from it.\n:* Cloning one of the
<code>mediawiki/skins/*</code> repositories via git into the <code
dir=\"ltr\">skins/</code> directory of your MediaWiki installation.\n: Doing
this should not interfere with your git repository if you're a MediaWiki
developer. See [https://www.mediawiki.org/wiki/Manual:Skin_configuration
Manual: Skin configuration] for information how to enable skins and choose the
default.\n",
+ "default-skin-not-found": "Whoops! The default skin for your wiki,
defined in <code dir=\"ltr\">$wgDefaultSkin</code> as <code>$1</code>, is not
available.\n\nYour installation seems to include the following skins. See
[https://www.mediawiki.org/wiki/Manual:Skin_configuration Manual: Skin
configuration] for information how to enable them and choose the
default.\n\n$2\n\n; If you have just installed MediaWiki:\n: You probably
installed from git, or directly from the source code using some other method.
This is expected. Try installing some skins from
[https://www.mediawiki.org/wiki/Category:All_skins mediawiki.org's skin
directory], by:\n:* Downloading the [https://www.mediawiki.org/wiki/Download
tarball installer], which comes with several skins and extensions. You can copy
and paste the <code>skins/</code> directory from it.\n:* Downloading individual
skin tarballs from [https://www.mediawiki.org/wiki/Special:SkinDistributor
mediawiki.org].\n:* Cloning one of the <code>mediawiki/skins/*</code>
repositories via git into the <code dir=\"ltr\">skins/</code> directory of your
MediaWiki installation.\n: Doing this should not interfere with your git
repository if you're a MediaWiki developer.\n\n; If you have just upgraded
MediaWiki:\n: MediaWiki 1.24 and newer no longer automatically enables
installed skins (see [https://www.mediawiki.org/wiki/Manual:Skin_autodiscovery
Manual: Skin autodiscovery]). You can paste the following lines into
<code>LocalSettings.php</code> to enable all currently installed skins:\n\n<pre
dir=\"ltr\">$3</pre>\n\n; If you have just modified
<code>LocalSettings.php</code>:\n: Double-check the skin names for typos.",
+ "default-skin-not-found-no-skins": "Whoops! The default skin for your
wiki, defined in <code>$wgDefaultSkin</code> as <code>$1</code>, is not
available.\n\nYou have no installed skins.\n\n; If you have just installed or
upgraded MediaWiki:\n: You probably installed from git, or directly from the
source code using some other method. This is expected. MediaWiki 1.24 and newer
doesn't include any skins in the main repository. Try installing some skins
from [https://www.mediawiki.org/wiki/Category:All_skins mediawiki.org's skin
directory], by:\n:* Downloading the [https://www.mediawiki.org/wiki/Download
tarball installer], which comes with several skins and extensions. You can copy
and paste the <code>skins/</code> directory from it.\n:* Downloading individual
skin tarballs from [https://www.mediawiki.org/wiki/Special:SkinDistributor
mediawiki.org].\n:* Cloning one of the <code>mediawiki/skins/*</code>
repositories via git into the <code dir=\"ltr\">skins/</code> directory of your
MediaWiki installation.\n: Doing this should not interfere with your git
repository if you're a MediaWiki developer. See
[https://www.mediawiki.org/wiki/Manual:Skin_configuration Manual: Skin
configuration] for information how to enable skins and choose the default.\n",
"default-skin-not-found-row-enabled": "* <code>$1</code> / $2
(enabled)",
"default-skin-not-found-row-disabled": "* <code>$1</code> / $2
('''disabled''')",
"mediastatistics": "Media statistics",
--
To view, visit https://gerrit.wikimedia.org/r/176217
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2502f804bef479c2009408db4e429bd0981a8bbc
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: PleaseStand <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
