wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-30 19:15:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
2190 commits 11 branches 26 tags 35 MiB
Commit graph

1 commit

Author SHA1 Message Date
Ed Sanders 0df5223a20 Use WikimediaUI toolbar styling in Vector 
Bug: T223155
Change-Id: I4730a78836e8db0b4116f09e07929d8b883c9fa4
 2020-02-10 14:44:06 -08:00