wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "styles: Replace 'mediawiki.ui/variables' call with skin variables"

Browse source
This commit is contained in:
jenkins-bot 2023-04-17 14:08:51 +00:00 committed by Gerrit Code Review
parent 41f0330efb 685ce2b154
commit 1e167235cd
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -11,7 +11,7 @@
"url": "https://www.mediawiki.org/wiki/Extension:InputBox",
"descriptionmsg": "inputbox-desc",
"requires": {
"MediaWiki": ">= 1.38.0"
"MediaWiki": ">= 1.41.0"
},
"license-name": "MIT",
"type": "parserhook",

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

@ -1,4 +1,4 @@
@import 'mediawiki.ui/variables.less';
@import 'mediawiki.skin.variables.less';
.mw-inputbox-centered {
margin-left: auto;
@ -21,8 +21,8 @@
.mw-inputbox-createbox:required:invalid ~ .mw-ui-button {
// appear like .mw-ui-input:disabled
background-color: @colorGray12;
color: @color-base--inverted;
border-color: @colorGray12;
cursor: default;
background-color: @background-color-disabled;
color: @color-inverted;
border-color: @border-color-disabled;
cursor: @cursor-base--disabled;
}