wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/images/icons
History
Thiemo Kreuz 218ac78960 Remove obsolete "search for a parameter" page and widgets 
… as well as messages, CSS, and icons that are now unused.

Bug: T310859
Change-Id: I1a2797728788cf1a86299414c1430ded0b362d4e
2022-06-17 10:23:00 +02:00
..
parameter-ltr.svg Update icons for new 20px grid 2018-03-20 20:03:11 +00:00
parameter-rtl.svg Update icons for new 20px grid 2018-03-20 20:03:11 +00:00
public-domain.svg Update icons for new 20px grid 2018-03-20 20:03:11 +00:00