wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
3217 commits 163 branches 6 tags 33 MiB
Commit graph

2 commits

Author SHA1 Message Date
libraryupgrader 903ef038c8 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.27.0 → 0.28.2
  The following rules are failing and were disabled:
  * modules:
    * es-x/no-object-assign

* grunt-stylelint: 0.19.0 → 0.20.1
* stylelint-config-wikimedia: 0.16.1 → 0.17.2

Change-Id: I49a4e6d4e44639b380782fda105672ffa362d44e
 2024-06-19 04:27:34 +00:00
Ed Sanders 7fea791042 build: Update eslint-config-wikimedia to 0.21.0 
Change-Id: I87bca80d107c965296af74e16961cd855d72b806
 2022-02-07 17:27:27 +00:00