jenkins-bot has submitted this change and it was merged. Change subject: Remove unused mw.notify msg keys from ext.visualEditor.core module ......................................................................
Remove unused mw.notify msg keys from ext.visualEditor.core module These 3 mw-notify message keys: * visualeditor-notification-saved * visualeditor-notification-created * visualeditor-notification-restored Are only used by ve.init.mw.ViewPageTarget.js, which is part of ext.visualEditor.viewPageTarget, not ext.visualEditor.core. Change-Id: Ib094c0a2934856b90349a9f8890a20feebf0837c --- M VisualEditor.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/VisualEditor.php b/VisualEditor.php index 88b9719..fdad5e5 100644 --- a/VisualEditor.php +++ b/VisualEditor.php @@ -591,9 +591,6 @@ 'visualeditor-listbutton-number-tooltip', 'visualeditor-media-input-placeholder', 'visualeditor-meta-tool', - 'visualeditor-notification-created', - 'visualeditor-notification-restored', - 'visualeditor-notification-saved', 'visualeditor-outline-control-move-down', 'visualeditor-outline-control-move-up', 'visualeditor-outline-control-move-up', -- To view, visit https://gerrit.wikimedia.org/r/70038 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib094c0a2934856b90349a9f8890a20feebf0837c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits