wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 09:57:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
History
James D. Forrester 309d05cb38 build: Upgrade stylelint-config-wikimedia to 0.5.0 and make pass 
Change-Id: I4c547757ed5a32ff98b1cf2670010db302bd8467
2018-12-03 13:06:59 -08:00
..
images
ve.ui.MWAceEditorWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWCategoryInputWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWCategoryItemWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWCategoryPopupWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWCategoryWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWMediaInfoFieldWidget.css Fix layout of media info fields 2018-03-22 22:15:52 +00:00
ve.ui.MWMoreParametersResultWidget.css build: Upgrade stylelint-config-wikimedia to 0.5.0 and make pass 2018-12-03 13:06:59 -08:00
ve.ui.MWNoParametersResultWidget.css Remove unnecessary and low-contrast opacity 2018-01-29 23:51:08 -08:00
ve.ui.MWParameterResultWidget.css build: Upgrade stylelint-config-wikimedia to 0.5.0 and make pass 2018-12-03 13:06:59 -08:00
ve.ui.MWParameterSearchWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWTocWidget.css