wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-17 19:31:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
16359 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
Ed Sanders eebe103fe4 Use WMUI styled WikiEditor switcher when in Vector 
Bug: T223155
Change-Id: I6cf305e77cfeda96e7736dc26f1d7feff6fb3911
 2020-02-07 18:20:39 -08:00