jenkins-bot has submitted this change and it was merged.
Change subject: Reapply f45be1f78b8462a62d77893fd7ac15757b049381
......................................................................
Reapply f45be1f78b8462a62d77893fd7ac15757b049381
Accidentally reverted in 8a157f34c83a69c0b93be1a009f814179f4ff5ab.
Change-Id: I027f71961672936dc8c7d51b5e6313215748c21b
---
M languages/i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
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 3b0ec9d..6cc94d9 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -3711,7 +3711,7 @@
"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
{{PLURAL:$4|skin|skins}}. See
[https://www.mediawiki.org/wiki/Manual:Skin_configuration Manual: Skin
configuration] for information how to enable {{PLURAL:$4|it|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:*
[https://www.mediawiki.org/wiki/Download_from_Git#Using_Git_to_download_MediaWiki_skins
Using Git to download skins].\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
{{PLURAL:$5|line|lines}} into <code>LocalSettings.php</code> to enable
{{PLURAL:$5|the|all}} currently installed {{PLURAL:$5|skin|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": "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
{{PLURAL:$4|skin|skins}}. See
[https://www.mediawiki.org/wiki/Manual:Skin_configuration Manual: Skin
configuration] for information how to enable {{PLURAL:$4|it|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:*
[https://www.mediawiki.org/wiki/Download_from_Git#Using_Git_to_download_MediaWiki_skins
Using Git to download skins].\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
{{PLURAL:$5|line|lines}} into <code>LocalSettings.php</code> to enable
{{PLURAL:$5|the|all}} installed {{PLURAL:$5|skin|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:*
[https://www.mediawiki.org/wiki/Download_from_Git#Using_Git_to_download_MediaWiki_skins
Using Git to download skins].\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''')",
--
To view, visit https://gerrit.wikimedia.org/r/211892
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I027f71961672936dc8c7d51b5e6313215748c21b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
