[MediaWiki-commits] [Gerrit] Message text fix. Remove duplicated "time". - change (mediawiki...SiteSettings)

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged.

Change subject: Message text fix. Remove duplicated "time".
..


Message text fix. Remove duplicated "time".

"GMT time" = "Greewich mean time time"

See also:
https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Sitesettings-current-gmt/ksh

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

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



diff --git a/i18n/en.json b/i18n/en.json
index 7f15200..e7b1d47 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -10,7 +10,7 @@
 "sitesettings-sitename": "Site name:",
 "sitesettings-sitenamespace": "Site-specific namespace name:",
 "sitesettings-timezone": "Hours offset from GMT:",
-"sitesettings-current-gmt": "(current GMT time is $1 or $2)",
+"sitesettings-current-gmt": "(current GMT is $1 or $2)",
 "sitesettings-americandates": "Use American-style dates",
 "sitesettings-showpageviews": "Show count of page views at the bottom of 
each page",
 "sitesettings-usesubpages": "Use https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Subpages\;>subpages",

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Icf21d310c389379d945443db1bfab4d4b045270b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SiteSettings
Gerrit-Branch: master
Gerrit-Owner: Purodha 
Gerrit-Reviewer: Nemo bis 
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] Message text fix. Remove duplicated "time". - change (mediawiki...SiteSettings)

[Purodha (Code Review)]

Purodha has uploaded a new change for review.

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

Change subject: Message text fix. Remove duplicated "time".
..

Message text fix. Remove duplicated "time".

"GMT time" = "Greewich mean time time"

See also:
https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Sitesettings-current-gmt/ksh

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


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/SiteSettings 
refs/changes/47/236247/1

diff --git a/i18n/en.json b/i18n/en.json
index 7f15200..e7b1d47 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -10,7 +10,7 @@
 "sitesettings-sitename": "Site name:",
 "sitesettings-sitenamespace": "Site-specific namespace name:",
 "sitesettings-timezone": "Hours offset from GMT:",
-"sitesettings-current-gmt": "(current GMT time is $1 or $2)",
+"sitesettings-current-gmt": "(current GMT is $1 or $2)",
 "sitesettings-americandates": "Use American-style dates",
 "sitesettings-showpageviews": "Show count of page views at the bottom of 
each page",
 "sitesettings-usesubpages": "Use https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Subpages\;>subpages",

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icf21d310c389379d945443db1bfab4d4b045270b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SiteSettings
Gerrit-Branch: master
Gerrit-Owner: Purodha 

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