jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/377766 )
Change subject: Update VE core submodule to master (7028f79aa)
......................................................................
Update VE core submodule to master (7028f79aa)
New changes:
dd2251b73 Capture format* inputTypes
d5a375850 Follow-up 8e795e4331: Fix typo in HistoryTool#onSurfaceChange
307746d50 Follow-up Ifcc2e6f: Emit surfaceChange after tool setup
71f2586f6 Make ve.dm.Change part of core module
0053801c7 Remove server-only scripts from visualEditor.rebase
Bug: T175734
Bug: T175828
Change-Id: Ie011224ce5d6474b37961b32d057861929c3ffb5
---
M .jsduck/eg-iframe.html
M lib/ve
2 files changed, 2 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/.jsduck/eg-iframe.html b/.jsduck/eg-iframe.html
index a203540..51aa527 100644
--- a/.jsduck/eg-iframe.html
+++ b/.jsduck/eg-iframe.html
@@ -201,6 +201,7 @@
<script
src="lib/ve/src/dm/ve.dm.TransactionProcessor.js"></script>
<script src="lib/ve/src/dm/ve.dm.Transaction.js"></script>
<script
src="lib/ve/src/dm/ve.dm.TransactionBuilder.js"></script>
+ <script src="lib/ve/src/dm/ve.dm.Change.js"></script>
<script src="lib/ve/src/dm/ve.dm.TreeCursor.js"></script>
<script src="lib/ve/src/dm/ve.dm.TreeModifier.js"></script>
<script src="lib/ve/src/dm/ve.dm.Selection.js"></script>
diff --git a/lib/ve b/lib/ve
index dafc7bb..7028f79 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit dafc7bbe5f9ba0f9833dc5127b90003cd6e70cfc
+Subproject commit 7028f79aa11c0e1f5af157e945d586a38f11d387
--
To view, visit https://gerrit.wikimedia.org/r/377766
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie011224ce5d6474b37961b32d057861929c3ffb5
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
