From: jenkins-bot Date: Fri, 28 Nov 2014 23:25:47 +0000 (+0000) Subject: Merge "Link to mediawiki.org's SkinDistributor from the fallback skin" X-Git-Tag: 1.31.0-rc.0~13139 X-Git-Url: http://git.cyclocoop.org/?a=commitdiff_plain;h=bd95dc1d5c345ed94fac17dc060e0432a5912c8c;hp=650d8f7af2a18f1c0053e8aa2943c75ea049eb3f;p=lhc%2Fweb%2Fwiklou.git Merge "Link to mediawiki.org's SkinDistributor from the fallback skin" --- diff --git a/languages/i18n/en.json b/languages/i18n/en.json index d4d501bffe..75bdb11ed2 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 $wgDefaultSkin as $1, 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 skins/ directory from it.\n:* Cloning one of the mediawiki/skins/* repositories via git into the skins/ 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 LocalSettings.php to enable all currently installed skins:\n\n
$3
\n\n; If you have just modified LocalSettings.php:\n: Double-check the skin names for typos.", - "default-skin-not-found-no-skins": "Whoops! The default skin for your wiki, defined in $wgDefaultSkin as $1, 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 skins/ directory from it.\n:* Cloning one of the mediawiki/skins/* repositories via git into the skins/ 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 $wgDefaultSkin as $1, 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 skins/ directory from it.\n:* Downloading individual skin tarballs from [https://www.mediawiki.org/wiki/Special:SkinDistributor mediawiki.org].\n:* Cloning one of the mediawiki/skins/* repositories via git into the skins/ 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 LocalSettings.php to enable all currently installed skins:\n\n
$3
\n\n; If you have just modified LocalSettings.php:\n: Double-check the skin names for typos.", + "default-skin-not-found-no-skins": "Whoops! The default skin for your wiki, defined in $wgDefaultSkin as $1, 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 skins/ directory from it.\n:* Downloading individual skin tarballs from [https://www.mediawiki.org/wiki/Special:SkinDistributor mediawiki.org].\n:* Cloning one of the mediawiki/skins/* repositories via git into the skins/ 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": "* $1 / $2 (enabled)", "default-skin-not-found-row-disabled": "* $1 / $2 ('''disabled''')", "mediastatistics": "Media statistics",