mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-18 02:50:58 +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 |
||
---|---|---|
.. | ||
LinkTextField.js | ||
LinkTypeField.js | ||
LinkTypeField.less | ||
TitleInputField.js | ||
TitleInputField.less | ||
TitleInputWidget.js | ||
TitleOptionWidget.js |