mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-28 08:10:35 +00:00
Merge "Update VE core submodule to master (f8be8c3)"
This commit is contained in:
commit
fb592f1fe0
|
@ -138,8 +138,7 @@
|
|||
"ve.ui.*Surface",
|
||||
"ve.ui.*Context",
|
||||
"ve.ui.Overlay",
|
||||
"ve.ui.Toolbar",
|
||||
"ve.ui.TargetToolbar",
|
||||
"ve.ui.*Toolbar",
|
||||
"ve.ui.DebugBar",
|
||||
"ve.ui.Trigger",
|
||||
"ve.ui.*Action",
|
||||
|
|
|
@ -366,6 +366,7 @@
|
|||
<script src="lib/ve/src/ui/ve.ui.Tool.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.Toolbar.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.TargetToolbar.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.PositionedTargetToolbar.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.ToolFactory.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.Command.js"></script>
|
||||
<script src="lib/ve/src/ui/ve.ui.CommandRegistry.js"></script>
|
||||
|
|
|
@ -711,6 +711,7 @@
|
|||
"lib/ve/src/ui/ve.ui.Tool.js",
|
||||
"lib/ve/src/ui/ve.ui.Toolbar.js",
|
||||
"lib/ve/src/ui/ve.ui.TargetToolbar.js",
|
||||
"lib/ve/src/ui/ve.ui.PositionedTargetToolbar.js",
|
||||
"lib/ve/src/ui/ve.ui.ToolFactory.js",
|
||||
"lib/ve/src/ui/ve.ui.Command.js",
|
||||
"lib/ve/src/ui/ve.ui.CommandRegistry.js",
|
||||
|
|
2
lib/ve
2
lib/ve
|
@ -1 +1 @@
|
|||
Subproject commit 5109934cb1a311b51e3436dee101feafb02e63bc
|
||||
Subproject commit f8be8c372ee9e12023c7d9687fe35f9509a609b0
|
Loading…
Reference in a new issue