wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-13 18:07:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Ed Sanders f03a32f6f8 build: Update linters 
Change-Id: Iec64688e03c6efe81e3f5e4e5809290a1789bcd0
2018-02-04 22:10:26 +00:00
..
ext.scribunto.edit.css build: Update linters 2018-02-04 22:10:26 +00:00
ext.scribunto.edit.js build: Update linters 2018-02-04 22:10:26 +00:00
ext.scribunto.errors.css Add stylelint for css files 2017-04-18 00:48:31 +02:00
ext.scribunto.errors.js build: Replace jscs/jshint with eslint 2017-05-12 16:24:59 +00:00
ext.scribunto.logs.css Rewrite error handling to avoid OutputPage::addInlineScript 2015-03-16 16:08:44 -04:00