wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-06 03:38:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
20832 commits 14 branches 17 tags 199 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders d42a0772bb Move verbose copyright message to AUTHORS.txt 
Avoids having to update the date in every file every year,
which we stopped doing.

Change-Id: I7bf7aa0937eef911e00772470091753a7b06fd3d
 2023-12-01 16:07:39 +00:00
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