wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-30 18:04:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Run stylelint for less files

Browse source 
css was converted to less in I2c75e09dd3f89fa11fca311b4e1f8133946b01b1

Change-Id: I7a8a81b80c4b1b34416a3c2c7801e8f2dcca894a
This commit is contained in:
Umherirrender 2021-09-28 17:30:00 +02:00
parent 0e4279750c
commit cec79baa9d
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gruntfile.js
View file

@ -19,7 +19,7 @@ module.exports = function ( grunt ) {
}, },
stylelint: { stylelint: {
all: [ all: [
'**/*.css', '**/*.{css,less}',
'!node_modules/**', '!node_modules/**',
'!vendor/**' '!vendor/**'
] ]

2
resources/ext.inputBox.styles.less
View file

@ -21,7 +21,7 @@
} }
/* TODO: Remove first selector 30 days after May 2021 parsercache expires */ /* TODO: Remove first selector 30 days after May 2021 parsercache expires */
.createboxInput[type="text"]:placeholder-shown ~ .createboxButton, .createboxInput[ type='text' ]:placeholder-shown ~ .createboxButton,
.mw-inputbox-createbox:required:invalid ~ .mw-ui-button { .mw-inputbox-createbox:required:invalid ~ .mw-ui-button {
/* appear like .mw-ui-input:disabled */ /* appear like .mw-ui-input:disabled */
background-color: @colorGray12; background-color: @colorGray12;