wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 03:08:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (8817821b6)"

Browse source
This commit is contained in:
jenkins-bot 2017-03-16 15:42:23 +00:00 committed by Gerrit Code Review
parent a3a4ff3d20 6225a6536a
commit 7b8d0ff55b
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

@ -481,6 +481,7 @@
<script src="lib/ve/src/ve.DiffMatchPatch.js"></script>
<script src="lib/ve/src/dm/ve.dm.VisualDiff.js"></script>
<script src="lib/ve/src/ui/elements/ve.ui.DiffElement.js"></script>
<script src="lib/ve/src/ui/widgets/ve.ui.ChangeDescriptionsSelectWidget.js"></script>
<!-- visualEditor.diffing.standalone -->
<script src="lib/ve/src/ui/dialogs/ve.ui.DiffDialog.js"></script>

2
lib/ve

@ -1 +1 @@
Subproject commit da310202f73af8b512de47f0686a7e85b5c54054
Subproject commit 8817821b6c54793b44b45997cbbb725a2a7ebc66