wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 18:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
2253 commits 137 branches 0 tags 114 MiB
Commit graph

6 commits

Author SHA1 Message Date
Ed Sanders 4fb474d611 build: Update stylelint-config-wikimedia to 0.13.0 
Change-Id: I164d6175f8077487e2d8dfbf0bcfbd13f1545cae
 2022-05-04 23:25:06 +01:00
Ed Sanders b0a94405dc Remove deprecated dt- classes 
Change-Id: I4fb59f187bf3e31fd9c31841576b3f69aec23634
 2021-03-23 12:39:34 +00:00
Ed Sanders ece8ff69ff Change dt- class prefix to ext-discussiontools- 
Longer, but follows the style guide and less likely to conflict.

We need to account for init classes in the cache being around for
a while.

Change-Id: I738bc93393850db320fdbda2b003ca8ac40556da
 2021-03-13 14:42:39 +00:00
Ed Sanders cb4a833cd2 Stylelint: Enforce class prefixes 
Change-Id: Id3f13f73f63883277044cd24c9e27874c688577f
 2020-12-23 16:47:55 +00:00
libraryupgrader db6838a267 build: Updating npm dependencies 
* grunt-stylelint: 0.15.0 → 0.16.0
* stylelint-config-wikimedia: 0.10.1 → 0.10.3
  The following rules are failing and were disabled:
  * unit-disallowed-list

Change-Id: Iab814dccab72d4c4f98a901f0368f579b3cf424e
 2020-11-22 01:20:32 +00:00
libraryupgrader 7bb23482bd build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 
Additional changes:
* Use json file extension for the stylelint config file.

Change-Id: Idca900cd65b88692ad43d34af7a9af4c4cfb9fcc
 2020-01-14 04:55:38 +00:00
Renamed from .stylelintrc (Browse further)