Create simple UIs for linting options - Githubissues

bhsd-harry / codemirror-mediawiki

Modified CodeMirror mode based on wikimedia/mediawiki-extensions-CodeMirror

https://bhsd-harry.github.io/codemirror-mediawiki/

GNU General Public License v2.0

3 stars 1 forks source link

Create simple UIs for linting options #3

Closed bhsd-harry closed 7 months ago

bhsd-harry commented 8 months ago

[x] WikiLint (2c2a89448905e072bea16656376f76d1d682ab6a)
[x] ESLint (f427d44def21545a830d9a3e1568583cd7cf852b)
[x] Stylelint (f427d44def21545a830d9a3e1568583cd7cf852b)