mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-20 18:12:51 +00:00
344add6080
For the invalid border color we'll use the current border error color. With CSS custom properties on the horizon, we'll easily replace them consistently in the future. Change-Id: I1ec266e90a974cf79576ee7db6287ea4eac94656 |
||
---|---|---|
.. | ||
images | ||
ve.ui.MWAceEditorWidget.less | ||
ve.ui.MWCategoryInputWidget.less | ||
ve.ui.MWCategoryItemWidget.less | ||
ve.ui.MWCategoryPopupWidget.less | ||
ve.ui.MWCategoryWidget.css | ||
ve.ui.MWEducationPopupWidget.less | ||
ve.ui.MWMediaInfoFieldWidget.less | ||
ve.ui.MWTocWidget.css | ||
ve.ui.MWTransclusionOutlineControlsWidget.less | ||
ve.ui.MWTransclusionOutlineWidget.less |