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

Update VE core submodule to master (000935e)

Browse source 
New changes:
5321ee2 Work around IE DOMParser bug in ve.createDocumentFromHtml
3d6f0e2 Use subtle border styling for unstyled tables
b1baa3d Localisation updates from https://translatewiki.net.

Change-Id: Ic962fbc1dcbca1a83b4c16756278981c45c5e865
This commit is contained in:
Ed Sanders 2014-06-25 12:07:00 +01:00 committed by Roan Kattouw
parent 2c60bbe9c2
commit 61ac4c0c6f
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
VisualEditor.php
View file

@ -470,6 +470,7 @@ $wgResourceModules += array(
'lib/ve/modules/ve/ce/styles/annotations/ve.ce.LanguageAnnotation.css',
'lib/ve/modules/ve/ce/styles/nodes/ve.ce.ResizableNode.css',
'lib/ve/modules/ve/ce/styles/nodes/ve.ce.TableCellNode.css',
'lib/ve/modules/ve/ce/styles/nodes/ve.ce.TableNode.css',
'lib/ve/modules/ve/ce/styles/ve.ce.Surface.css',
// ui

2
lib/ve

@ -1 +1 @@
Subproject commit 1aa3143300e0cbda629d3f4aa119b1348b29af88
Subproject commit 000935ef7778d12dd447a5ec19feaa5dbe3a505a