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
8132 commits 161 branches 1 tag 190 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
Juliusz Gonera 44db741a4b Hide unsupported UI elements in references on mobile 
Also tweak styles for the supported ones slightly.

Change-Id: Ia4f0f3627d062698c085cd60f72928ef16532d20
 2014-05-21 16:18:08 -07:00