wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
1674 commits 164 branches 5 tags 21 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader 7cb86c3dfb build: Updating dependencies 
composer:
* mediawiki/minus-x: 0.3.1 → 0.3.2

npm:
* grunt-banana-checker: 0.7.0 → 0.8.1

Additional changes:
* Added .eslintcache to .gitignore.

Change-Id: Ibbde8773be9b8687b5117eb1589f3ed66bfb5cb9
 2019-12-16 15:29:42 +00:00
libraryupgrader b9956a88b2 build: Updating eslint-utils to 1.4.2 
* https://npmjs.com/advisories/1118

Additional changes:
* Added .eslintcache to .gitignore.

Change-Id: Id47cdd9296e68f8f647f1e2af4305e78eaaf4b7e
 2019-08-24 08:51:32 +00:00
libraryupgrader 28bc89ad4f build: Updating mediawiki/mediawiki-codesniffer to 26.0.0 
Additional changes:
* Committed package-lock.json (T179229) too.

Change-Id: I4049186e4a7b3f0fb62d913f635ce8e491a7fbc3
 2019-07-14 11:38:20 +00:00