wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
7211 commits 163 branches 0 tags 73 MiB
Commit graph

6 commits

Author SHA1 Message Date
Umherirrender 03d44330a6 stylelint: Enable selector-pseudo-element-colon-notation 
Via stylelint --fix

Change-Id: I14b992b0313f093325c9c6f5109bae9ce26ebc2c
 2023-03-30 00:24:47 +02:00
libraryupgrader c280ff0947 build: Updating npm dependencies 
* eslint-config-wikimedia: 0.22.1 → 0.24.0
* grunt: 1.5.3 → 1.6.1
* stylelint-config-wikimedia: 0.13.0 → 0.14.0
  The following rules are failing and were disabled:
  * selector-pseudo-element-colon-notation

Change-Id: I4f3516417425a3cac273bb6c85b3195405ef5b3d
 2023-03-23 22:26:26 +00:00
Ed Sanders 2af0c6d816 build: Update stylelint-config-wikimedia to 0.13.0 
Change-Id: I60f34cb3c3c5c12cf1f9f38426a56c76dcf063fd
 2022-05-09 14:05:59 +01:00
libraryupgrader 7d4448e4e9 build: Updating stylelint-config-wikimedia to 0.11.1 
The following rules are failing and were disabled:
* declaration-property-unit-disallowed-list

Change-Id: Ib5affe3e76c81e3b077c4b787a172ec50f30a499
 2021-09-04 19:42:56 +00:00
Ed Sanders 2dc9a454d2 build: Update linters 
Change-Id: I717ee9a58e6a8c12b54c64b46ebb2682b1ad5274
 2018-02-04 21:23:28 +00:00
Umherirrender 52d35663bd Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ifb821fcc39fe296273fb73c4b11b8be4f20da587
 2017-08-19 09:44:03 +02:00
Renamed from .stylelintrc (Browse further)