wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 12:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (b5a0269)"

Browse source
This commit is contained in:
jenkins-bot 2014-12-01 17:32:30 +00:00 committed by Gerrit Code Review
parent 64604a475d 3c49a18b1a
commit b83d8deeb8
4 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.docs/categories.json
View file

@ -120,11 +120,10 @@
"ve.ui.*Registry",
"ve.ui.*Sequence",
"ve.ui.*Tool",
"ve.ui.*Inspector",
"ve.ui.*Widget",
"ve.ui.*WindowManager",
"ve.ui.*InspectorManager",
"ve.ui.*Dialog"
"ve.ui.*Dialog",
"ve.ui.*Inspector"
]
},
{

2
.docs/eg-iframe.html
View file

@ -347,7 +347,7 @@
<!-- visualEditor.desktop.build -->
<script src="lib/ve/src/ui/ve.ui.DesktopSurface.js"></script>
<script src="lib/ve/src/ui/ve.ui.DesktopContext.js"></script>
<script src="lib/ve/src/ui/ve.ui.DesktopInspectorManager.js"></script>
<script src="lib/ve/src/ui/windowmanagers/ve.ui.DesktopInspectorWindowManager.js"></script>
<!-- example scripts -->
<script>

2
VisualEditor.php
View file

@ -742,7 +742,7 @@ $wgResourceModules += array(
'scripts' => array(
'lib/ve/src/ui/ve.ui.DesktopSurface.js',
'lib/ve/src/ui/ve.ui.DesktopContext.js',
'lib/ve/src/ui/ve.ui.DesktopInspectorManager.js',
'lib/ve/src/ui/windowmanagers/ve.ui.DesktopInspectorWindowManager.js',
),
'styles' => array(
'lib/ve/src/ui/styles/ve.ui.DesktopContext.css',

2
lib/ve

@ -1 +1 @@
Subproject commit ddbedd1ba6a46529c01b653264d80cc52fc0d9da
Subproject commit b5a02696daacb7d6eff908ecde1308506d776a7f