Raimond Spekking has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/159112

Change subject: Define MediaWiki:GlobalUserPage.css in i18n file
......................................................................

Define MediaWiki:GlobalUserPage.css in i18n file

This way it is shown on Special:AllMessages
Follow up to Ib31523bd973277ff3f8a86dbe96108a88cdc9975

Change-Id: I8f3ecdd7bb49df9f0098826b55371c9a692f9716
---
M i18n/en.json
M i18n/qqq.json
2 files changed, 2 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/GlobalUserPage 
refs/changes/12/159112/1

diff --git a/i18n/en.json b/i18n/en.json
index 7e7fb2f..68de5fe 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -7,4 +7,5 @@
        "globaluserpage-desc": "Automatically fetches user pages from a central 
wiki",
        "globaluserpage-preferences": "Use 
[https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Extension:GlobalUserPage
 global user page]",
        "globaluserpage-footer": "'''This is a 
[https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Extension:GlobalUserPage
 global user page].''' The original page is located at [$2 $2]."
+       "GlobalUserPage.css": "/* CSS placed here is loaded on remote instances 
of the user page, and on the central user page itself */"
 }
diff --git a/i18n/qqq.json b/i18n/qqq.json
index 7190126..54bc463 100644
--- a/i18n/qqq.json
+++ b/i18n/qqq.json
@@ -8,4 +8,5 @@
        "globaluserpage-desc": 
"{{desc|name=GlobalUserPage|url=https://www.mediawiki.org/wiki/Extension:GlobalUserPage}}";,
        "globaluserpage-preferences": "Shown on Special:GlobalPreferences",
        "globaluserpage-footer": "Footer shown on global user pages. $1 is the 
user's name, and $2 is a link to the original user page on the central wiki."
+       "GlobalUserPage.css": "{{Optional}}"
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/159112
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I8f3ecdd7bb49df9f0098826b55371c9a692f9716
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalUserPage
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to