This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-DiscussionTools
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-DiscussionTools
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced
2024-11-16 20:58:28 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
794ad7d492
mediawiki-extensions-Discus...
/
.stylelintrc.json
7 lines
92 B
JSON
Raw
Normal View
History
Unescape
Escape
Add required files for an extension Change-Id: I626e607e6ae7efc2521f9dd1da83c6fd90b0767d
2019-10-10 13:25:11 +00:00
{
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:27 +00:00
"extends"
:
"stylelint-config-wikimedia"
,
"rules"
:
{
"unit-disallowed-list"
:
null
}
Add required files for an extension Change-Id: I626e607e6ae7efc2521f9dd1da83c6fd90b0767d
2019-10-10 13:25:11 +00:00
}
Reference in a new issue
Copy permalink