jenkins-bot has submitted this change and it was merged.
Change subject: Change settings page heading
......................................................................
Change settings page heading
"Mobile site settings" is way too long and verbose. It leads to
horrendous translations in other languages (spanning across 2 or 3
lines). Settings is the name of the option in the menu and the heading
should be consistent. Everyone browsing the mobile site knows that when
they open settings, it's mobile site settings.
Change-Id: If43725f4311968c778309220d4581cd8a14f7fc9
---
M MobileFrontend.i18n.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jdlrobson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.i18n.php b/MobileFrontend.i18n.php
index a003180..bd2fd4e 100644
--- a/MobileFrontend.i18n.php
+++ b/MobileFrontend.i18n.php
@@ -108,7 +108,7 @@
'mobile-frontend-main-menu-about' => 'About {{SITENAME}}',
'mobile-frontend-main-menu-disclaimer' => 'Disclaimer',
- 'mobile-frontend-main-menu-settings-heading' => 'Mobile site settings',
+ 'mobile-frontend-main-menu-settings-heading' => 'Settings',
'mobile-frontend-settings-site-header' => '{{SITENAME}} Languages',
'mobile-frontend-settings-site-description' => '{{SITENAME}} is
available in $1 {{PLURAL:$1|language|languages}}. All available versions are
listed below',
'mobile-frontend-main-menu-account-create' => 'Create account',
--
To view, visit https://gerrit.wikimedia.org/r/78638
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If43725f4311968c778309220d4581cd8a14f7fc9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: JGonera <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
