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

2 commits

Author SHA1 Message Date
Derk-Jan Hartman 9655bee7de Fix dimensions of WE2017 switch to VE 
Correct dimensions are 32px, not 34px.

Bug: T223155
Change-Id: I74da7fc12b642984a680d58c20af054ebaf2e64c
 2020-02-26 14:02:41 +01:00
Ed Sanders eebe103fe4 Use WMUI styled WikiEditor switcher when in Vector 
Bug: T223155
Change-Id: I6cf305e77cfeda96e7736dc26f1d7feff6fb3911
 2020-02-07 18:20:39 -08:00