jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/381066 )
Change subject: Change internal name in skin.json
......................................................................
Change internal name in skin.json
Change name which will allow having
the same named extension and skin loaded with extension registration.
The name shown on Special:Version is taken from namemsg,
so this change should not have visible effects.
Change-Id: Ie5e9c67c8a15f67bf81592d4d6d0b7b23ed07a91
---
M skin.json
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/skin.json b/skin.json
index 90bbbd9..4829ce6 100644
--- a/skin.json
+++ b/skin.json
@@ -1,5 +1,5 @@
{
- "name": "CustomPage",
+ "name": "CustomPageSkin",
"author": "Ike Hecht",
"url": "https://www.mediawiki.org/wiki/Skin:CustomPage";,
"descriptionmsg": "custompage-skin-desc",
@@ -14,7 +14,7 @@
"custompage": "CustomPage"
},
"MessagesDirs": {
- "CustomPage": [
+ "CustomPageSkin": [
"i18n"
]
},
--
To view, visit https://gerrit.wikimedia.org/r/381066
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie5e9c67c8a15f67bf81592d4d6d0b7b23ed07a91
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/skins/CustomPage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
