mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 10:59:42 +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 |
||
---|---|---|
.. | ||
ext.thanks.flowthank.js | ||
ext.thanks.mobilediff.js | ||
ext.thanks.revthank.js | ||
ext.thanks.thank.js | ||
jquery.findWithParent.js |