wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-28 18:20:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
1360 commits 13 branches 20 tags 30 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 9fd85984a3 Remove unused jQuery global alias 
Change-Id: Ieeea7b4e5b430def6cef6d8be8a07c932a1d1fa7
 2018-11-16 18:24:42 +00:00
Ed Sanders 9619727f3c build: Update devDependencies 
eslint-config-wikimedia      0.5.0  →   0.8.1
 grunt-eslint                20.1.0  →  21.0.0
 grunt-stylelint              0.9.0  →  0.10.1
 stylelint                    8.2.0  →   9.2.0
 stylelint-config-wikimedia   0.4.2  →   0.4.3

Change-Id: I4c39a42f84303ee0d5d66032bf4cacd9e90821e9
 2018-11-05 19:31:08 +00:00
Ed Sanders 9399ba002e build: Replace jscs/jshint with eslint 
Change-Id: I35b5f6b1ea2e45c8f361e3253d81da9ea55d9259
 2017-05-12 16:24:59 +00:00