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

Change subject: Quote page name in notifications
......................................................................


Quote page name in notifications

This improves the appearance, particulary for multi-word titles.

Change-Id: I4d7bdb034acab6b7c6e3f87bc23dcdefd54c301b
---
M VisualEditor.i18n.php
1 file changed, 3 insertions(+), 3 deletions(-)

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



diff --git a/VisualEditor.i18n.php b/VisualEditor.i18n.php
index 720302d..f259743 100644
--- a/VisualEditor.i18n.php
+++ b/VisualEditor.i18n.php
@@ -153,9 +153,9 @@
        'visualeditor-mwalienextensioninspector-title' => 'MediaWiki extension',
        'visualeditor-mwhieroinspector-title' => 'Hieroglyphics',
        'visualeditor-mwmathinspector-title' => 'LaTeX',
-       'visualeditor-notification-created' => '$1 has been created.',
-       'visualeditor-notification-restored' => '$1 has been restored.',
-       'visualeditor-notification-saved' => 'Your changes to $1 have been 
saved.',
+       'visualeditor-notification-created' => '"$1" has been created.',
+       'visualeditor-notification-restored' => '"$1" has been restored.',
+       'visualeditor-notification-saved' => 'Your changes to "$1" have been 
saved.',
        'visualeditor-outline-control-move-down' => 'Move item down',
        'visualeditor-outline-control-move-up' => 'Move item up',
        'visualeditor-parameter-input-placeholder' => 'Parameter name',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I4d7bdb034acab6b7c6e3f87bc23dcdefd54c301b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: Trevor Parscal <[email protected]>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to