jenkins-bot has submitted this change and it was merged.
Change subject: Remove deleted messages from Resources.php
......................................................................
Remove deleted messages from Resources.php
Change-Id: Iebf6a00defad7c3411769f9d45ab7824e861afc8
---
M includes/Resources.php
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Jdlrobson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Resources.php b/includes/Resources.php
index aa49bf2..1d21baa 100644
--- a/includes/Resources.php
+++ b/includes/Resources.php
@@ -236,10 +236,7 @@
'mobile-frontend-editor-save',
'mobile-frontend-editor-cancel',
'mobile-frontend-editor-confirm',
- 'mobile-frontend-editor-previous',
- 'mobile-frontend-editor-next',
'mobile-frontend-editor-license' => array( 'parse' ),
- 'mobile-frontend-editor-section-count',
'mobile-frontend-editor-cancel-confirm',
'mobile-frontend-editor-wait',
'mobile-frontend-editor-success',
--
To view, visit https://gerrit.wikimedia.org/r/72642
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iebf6a00defad7c3411769f9d45ab7824e861afc8
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
