wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 4be59a00c1 Update VE core submodule to master (a014302) 
New changes:
5f2dd5c Update OOjs to v1.0.10
49fae55 Always refocus the paste target when a node is selected

Change-Id: I7647ee189ce5df1e748f660bb2f43c160d7729f9
2014-06-27 14:28:44 -07:00
..
ve@a014302f44 Update VE core submodule to master (a014302) 2014-06-27 14:28:44 -07:00