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

Merge "Update VE core submodule to master (8e56dd5)"

Browse source
This commit is contained in:
jenkins-bot 2014-08-14 11:34:49 +00:00 committed by Gerrit Code Review
parent afd32fb267 7eee4604f7
commit 3d475420cb
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.docs/eg-iframe.html
View file

@ -321,8 +321,6 @@
<script src="lib/ve/modules/ve/ui/ve.ui.DesktopContext.js"></script>
<script src="lib/ve/modules/ve/ui/ve.ui.DesktopInspectorManager.js"></script>
<script>ve.init.platform.setModulesUrl( 'lib/ve/modules' );</script>
<!-- example scripts -->
<script>
function loadInlineExample( code, options, callback ) {

2
lib/ve

@ -1 +1 @@
Subproject commit f443f9025d7cbfe142747dd4a26b00919b8fd1a1
Subproject commit 8e56dd552299bf8e17c067dcb562576803e0f077