jenkins-bot has submitted this change and it was merged.
Change subject: Remove ve.dm.MWMetaNode.js from extension
......................................................................
Remove ve.dm.MWMetaNode.js from extension
This file was deleted in 52706 but its removal from the extension
was overlooked.
Change-Id: Icb5c14cddfae6efb6646816dfc235477c2392f3a
---
M VisualEditor.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/VisualEditor.php b/VisualEditor.php
index e18bd00..8a0b009 100644
--- a/VisualEditor.php
+++ b/VisualEditor.php
@@ -253,7 +253,6 @@
've/dm/nodes/ve.dm.MWEntityNode.js',
've/dm/nodes/ve.dm.MWHeadingNode.js',
- 've/dm/nodes/ve.dm.MWMetaNode.js',
've/dm/nodes/ve.dm.MWPreformattedNode.js',
've/dm/annotations/ve.dm.LinkAnnotation.js',
--
To view, visit https://gerrit.wikimedia.org/r/53985
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icb5c14cddfae6efb6646816dfc235477c2392f3a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
