mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-11 08:07:24 +00:00
90e6ccaced
Has sat there since the first commit in 2010 (r73055), but not used. I imagine it was was a design prototype at some point. Also fix a few minor eslint warnings about line length, and remove the one-off "ext-" prefix and capitilised "WikiEditor" CSS class name that the rest of the repo doesn't use. Change-Id: Id0eeb456fffdb490a6a86974288e57099e53ce71
7 lines
158 B
Plaintext
7 lines
158 B
Plaintext
@import 'mediawiki.ui/variables.less';
|
|
|
|
.mw-wikiEditor-InsertLink-TitleInputField .oo-ui-messageWidget {
|
|
color: @color-base--subtle;
|
|
font-weight: normal;
|
|
}
|