jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/396575 )

Change subject: Better extension description
......................................................................


Better extension description

Change-Id: I9aeb9f2060e3e137052d4e32e2ce65be4d6d6d91
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/i18n/en.json b/i18n/en.json
index 27d5b48..0c69ec1 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -1,4 +1,4 @@
 {
        "@metadata": {},
-       "wikisource-desc": "Wikisource-specific Lua and JavaScript modules"
+       "wikisource-desc": "Wikisource-specific MediaWiki customizations"
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9aeb9f2060e3e137052d4e32e2ce65be4d6d6d91
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikisource
Gerrit-Branch: master
Gerrit-Owner: Tpt <thoma...@hotmail.fr>
Gerrit-Reviewer: Samwilson <s...@samwilson.id.au>
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

Reply via email to