[MediaWiki-commits] [Gerrit] mediawiki...RandomSelection[master]: Move description from extension.json to message file

2017-07-25 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/367467 )

Change subject: Move description from extension.json to message file
..


Move description from extension.json to message file

Change-Id: I7b6761a0dffbcaf4977f23456c7e9e54efe7bc4a
---
M extension.json
A i18n/en.json
A i18n/qqq.json
3 files changed, 14 insertions(+), 1 deletion(-)

Approvals:
  Raimond Spekking: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/extension.json b/extension.json
index ce734dc..d805ae4 100644
--- a/extension.json
+++ b/extension.json
@@ -6,8 +6,13 @@
],
"license-name": "GPL-2.0+",
"url": "https://www.mediawiki.org/wiki/Extension:RandomSelection;,
-   "description": "Displays a random option from the given set",
+   "descriptionmsg": "randomselection-desc",
"type": "parserhook",
+   "MessagesDirs": {
+   "RandomSelection": [
+   "i18n"
+   ]
+   },
"AutoloadClasses": {
"RandomSelection": "RandomSelection.class.php"
},
diff --git a/i18n/en.json b/i18n/en.json
new file mode 100644
index 000..0abbf82
--- /dev/null
+++ b/i18n/en.json
@@ -0,0 +1,4 @@
+{
+   "@metadata": {},
+   "randomselection-desc": "Displays a random option from the given set"
+}
diff --git a/i18n/qqq.json b/i18n/qqq.json
new file mode 100644
index 000..fb04460
--- /dev/null
+++ b/i18n/qqq.json
@@ -0,0 +1,4 @@
+{
+   "@metadata": {},
+   "randomselection-desc": 
"{{desc|name=RandomSelection|url=https://www.mediawiki.org/wiki/Extension:RandomSelection}};
+}

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I7b6761a0dffbcaf4977f23456c7e9e54efe7bc4a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RandomSelection
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Raimond Spekking 
Gerrit-Reviewer: Siebrand 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...RandomSelection[master]: Move description from extension.json to message file

2017-07-24 Thread Umherirrender (Code Review) 
Umherirrender has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/367467 )

Change subject: Move description from extension.json to message file
..

Move description from extension.json to message file

Change-Id: I7b6761a0dffbcaf4977f23456c7e9e54efe7bc4a
---
M extension.json
A i18n/en.json
A i18n/qqq.json
3 files changed, 14 insertions(+), 1 deletion(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/RandomSelection 
refs/changes/67/367467/1

diff --git a/extension.json b/extension.json
index ce734dc..d805ae4 100644
--- a/extension.json
+++ b/extension.json
@@ -6,8 +6,13 @@
],
"license-name": "GPL-2.0+",
"url": "https://www.mediawiki.org/wiki/Extension:RandomSelection;,
-   "description": "Displays a random option from the given set",
+   "descriptionmsg": "randomselection-desc",
"type": "parserhook",
+   "MessagesDirs": {
+   "RandomSelection": [
+   "i18n"
+   ]
+   },
"AutoloadClasses": {
"RandomSelection": "RandomSelection.class.php"
},
diff --git a/i18n/en.json b/i18n/en.json
new file mode 100644
index 000..0abbf82
--- /dev/null
+++ b/i18n/en.json
@@ -0,0 +1,4 @@
+{
+   "@metadata": {},
+   "randomselection-desc": "Displays a random option from the given set"
+}
diff --git a/i18n/qqq.json b/i18n/qqq.json
new file mode 100644
index 000..fb04460
--- /dev/null
+++ b/i18n/qqq.json
@@ -0,0 +1,4 @@
+{
+   "@metadata": {},
+   "randomselection-desc": 
"{{desc|name=RandomSelection|url=https://www.mediawiki.org/wiki/Extension:RandomSelection}};
+}

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I7b6761a0dffbcaf4977f23456c7e9e54efe7bc4a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RandomSelection
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits