wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
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
..
images Revert "Compress PNGs with zopflipng" 2016-02-28 00:07:50 +00:00
ve.ui.MWAceEditorWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryInputWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryItemWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryPopupWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupWidget.css Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWMediaInfoFieldWidget.css Remove unused CSS vendor prefixes 2022-05-04 16:55:43 +01:00
ve.ui.MWTocWidget.css Keep TOC in correct place in document 2017-06-22 15:16:15 -07:00