wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (7028f79aa)"

Browse source
This commit is contained in:
jenkins-bot 2017-09-13 15:50:38 +00:00 committed by Gerrit Code Review
parent 779dcc2164 82469cccf1
commit b85869c727
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.jsduck/eg-iframe.html
View file

@ -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>

2
lib/ve

@ -1 +1 @@
Subproject commit dafc7bbe5f9ba0f9833dc5127b90003cd6e70cfc
Subproject commit 7028f79aa11c0e1f5af157e945d586a38f11d387