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

Update VE core submodule to master (a6c25d08e)

Browse source 
New changes:
803e45655 Serialize/deserialize for Transaction and IndexValueStore
fff77990b build: Bump various devDependencies to latest
d926b3bed Update OOjs UI to v0.20.1
50cbc8af5 Fix disabling of surface
f2223fcdb Localisation updates from https://translatewiki.net.
daf59c3af ve.Node: Fix getRoot/getParent/getDocument documentation
8d877214f Update OOjs UI to v0.20.2
2ceaa8e23 ve.ui.Sequences: Allow optional execution after pastes

Bug: T161152
Bug: T161611
Change-Id: I07deafbfce86af99fce7db6501e43a62a330911a
This commit is contained in:
James D. Forrester 2017-03-30 23:11:08 -04:00
parent 9e69bd360f
commit 7b992e1cfa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 495cd7d654397285841e168f3bc9ddff13969b29
Subproject commit a6c25d08e866dfd94af1fefa9b690a6fd9c12eec