mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-23 21:33:25 +00:00
c8c9880b19
A previous comment said design token "background-color-interactive" was unsuitable for the given context, so using "background-color-neutral" design token instead. Change-Id: I614369dcb402fdd7368be5996f3bb9720ad780b5 |
||
---|---|---|
.. | ||
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 |