mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
903ef038c8
* eslint-config-wikimedia: 0.27.0 → 0.28.2 The following rules are failing and were disabled: * modules: * es-x/no-object-assign * grunt-stylelint: 0.19.0 → 0.20.1 * stylelint-config-wikimedia: 0.16.1 → 0.17.2 Change-Id: I49a4e6d4e44639b380782fda105672ffa362d44e |
||
---|---|---|
.. | ||
error.svg | ||
ErrorLayout.js | ||
ErrorLayout.less | ||
init.js | ||
ManualWidget.js | ||
ManualWidget.less | ||
monobook.less | ||
RealtimePreview.js | ||
RealtimePreview.less | ||
ResizingDragBar.js | ||
ResizingDragBar.less | ||
TwoPaneLayout.js | ||
TwoPaneLayout.less |