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

Update VE core submodule to master (6ad2355)

Browse source 
New changes:
4976741 Update OOjs UI to v0.1.0-pre (0a7180f468)
a284bbb Language search widget

Change-Id: Ieae7313ba2bd4e843293865d244d74f1fef1f485
This commit is contained in:
James D. Forrester 2014-04-23 18:41:46 -07:00
parent 3050b22ea2
commit 4eb0803ea7
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 71f0151fb74d060b9f8009d4d7732c8fce75b57d
Subproject commit 6ad23553abbbd488cffd66c248c126d64aa687f6