wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-12 07:15:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
761 commits 12 branches 25 tags 27 MiB
Commit graph

2 commits

Author SHA1 Message Date
libraryupgrader 7a396da3a1 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.27.0 → 0.28.0
  The following rules are failing and were disabled:
  * modules:
    * no-jquery/no-extend

* grunt-stylelint: 0.19.0 → 0.20.0
* stylelint-config-wikimedia: 0.16.1 → 0.17.1

Change-Id: Ifbde191e4d9155dbecc9c395dd89ec06c91c356a
 2024-06-06 05:33:43 +00:00
Ed Sanders 2479c7f1bb eslint: Lint Gruntile.js using server rules 
Change-Id: I9e452fc08ae483431ad83dca3c7ebd7f04f5d945
 2022-02-07 16:22:02 +00:00