mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-12-12 15:05:09 +00:00
e315e954a6
Removing csslint rather than replacing it with stylelint as there are no CSS or LESS files in this repo. Also bumping banana and jsonlint to latest. Change-Id: I9ffce273f63b061e07c3fa90ab4e82b5e551aa92 |
||
---|---|---|
.. | ||
test_ext.thanks.mobilediff.js |