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

Update VE core submodule to master (de3447ce5)

Browse source 
New changes:
de3447ce5 Update OOjs UI to v0.21.4

Change-Id: Ibb13bce32090a8aab01bc5d82d87dfa2a98ac16e
This commit is contained in:
James D. Forrester 2017-05-17 19:52:24 +01:00
parent d687e01208
commit 0eecaf42e1
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 45aa796b366cab8e54ab183b22529f37381634f6 Subproject commit de3447ce5688d434b9f7fc31de859e85afd078b5