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

3 commits

Author SHA1 Message Date
Ed Sanders 1528c7740f build: Update linters 
Change-Id: Idaed1bf627d8d92968b422ad428acd29a179d94a
 2023-12-18 17:09:57 +00:00
libraryupgrader ce93e424a5 build: Updating stylelint-config-wikimedia to 0.11.1 
The following rules are failing and were disabled:
* declaration-property-unit-disallowed-list

Change-Id: I7ceb0021cec89d3c1fa58e21325bedfecb7ddf0f
 2021-09-04 18:51:00 +00:00
Umherirrender beb54ff999 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I3216495396d962490b2ef69caa0e5f6263a4922d
 2017-08-19 09:40:38 +02:00
Renamed from .stylelintrc (Browse further)