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/widgets
History
WMDE-Fisch 83c30099ec Move obvious Outline related CSS into own file 
Should be a noop. Also moving one rule further up to the set of
similar selectors.

Removing one rule that was disabled for some time now.

Optimizations follow.

Change-Id: I8da70a52c13afd8ac1c3ff43bae63a203c3bf86a
2022-07-07 22:05:09 +02:00
..
images
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
ve.ui.MWTransclusionOutlineControlsWidget.less Simplify OutlineControls CSS a little more 2022-06-28 10:50:33 +02:00
ve.ui.MWTransclusionOutlineWidget.less Move obvious Outline related CSS into own file 2022-07-07 22:05:09 +02:00