wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/themes
History
James D. Forrester adb0593c92 Update VE core submodule to master (be42edf) 
New changes:
7a2e989 Update OOjs UI to v0.1.0-pre (43f379c884)

Local changes:
Eliminate all references to Agora, now Minerva

Change-Id: I497e122a35090a909b1fbb00d0a9487d97e09da1
2014-08-28 13:51:10 -07:00
..
apex Hide unsupported UI elements in references on mobile 2014-05-21 16:18:08 -07:00
minerva/pages Update VE core submodule to master (be42edf) 2014-08-28 13:51:10 -07:00
vector Style the FormatTool to be more like Vector's new look 2014-04-30 17:40:44 -07:00