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

Update VE core submodule to master (6afc66096)

Browse source 
New changes:
c2ae612e0 Update OOUI to v0.31.4
4e32f62c3 Re-use previousSelection when re-activating
e1f01b47c Auto-save: Allow an optional document prefix
63192a7f4 ve.ui.ToolbarDialog: Remove unused styles

Bug: T220633
Change-Id: I99a905db6aa5ba91655901a6ea2c821b8603aadf
This commit is contained in:
James D. Forrester 2019-04-17 14:25:50 -07:00
parent ebe04bb856
commit 24cb70bae0
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 3796a1f91c4d6a156f59f6b042a0e82e1da55620
Subproject commit 6afc66096e3517ad1cb57faf29471af3c0406b80