mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
8c7ed92288
New changes: c54a48a build: Fix watch list (csslint -> stylelint) 58ba3d9 Add stylelint rules for @-rules 3f8c75a Stylelint: Add rule for unsupported browser features 3b96ff3 Fix minimum Opera version (15 -> 12) 9a1110b Stylelint: No ID selectors 9800bb8 build: Remove remaining references to csslint b6ab14a stylelint: Re-enable features by names 6cc1f3c Move stylelint to npm 1d15fa0 build: Bump stylelint version to v0.2.0 ccc1724 stylelint: Use the preset rather than extending Change-Id: I22fa8098592338a5e912aba9ad21131b21d9c0ea |
||
---|---|---|
.. | ||
images | ||
ve.ui.MWAceEditorWidget.css | ||
ve.ui.MWCategoryInputWidget.css | ||
ve.ui.MWCategoryItemWidget.css | ||
ve.ui.MWCategoryPopupWidget.css | ||
ve.ui.MWCategoryWidget.css | ||
ve.ui.MWMediaInfoFieldWidget.css | ||
ve.ui.MWMediaResultWidget.css | ||
ve.ui.MWMediaSearchWidget.css | ||
ve.ui.MWMoreParametersResultWidget.css | ||
ve.ui.MWNoParametersResultWidget.css | ||
ve.ui.MWParameterResultWidget.css | ||
ve.ui.MWParameterSearchWidget.css | ||
ve.ui.MWTocWidget.css |