wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 15:21:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
History
Ed Sanders 381bc46130 Fix padding around .ve-ui-mwParameterResultWidget-name(s) 
Bug: T208720
Change-Id: Iff8bbb702fdceab86d423a9f74aaebac8b41ebc3
2018-11-05 11:50:12 +00: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 doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWNoParametersResultWidget.css Remove unnecessary and low-contrast opacity 2018-01-29 23:51:08 -08:00
ve.ui.MWParameterResultWidget.css Fix padding around .ve-ui-mwParameterResultWidget-name(s) 2018-11-05 11:50:12 +00:00
ve.ui.MWParameterSearchWidget.css doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWTocWidget.css