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

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

Browse source 
Replacing 'mediawiki.ui/variables.less' @import with
new skin-aware 'mediawiki.skin.variables.less' standard.
Also
- replacing several static values with new Codex design token featuring
  skin variables.
Bump to required MediaWiki core version >= v1.41.0.

Bug: T332541
Change-Id: I1ba1bed9b4f5d49014d2e51c116df8b0f320b949
This commit is contained in:
gerritbot 2023-03-29 21:03:54 +00:00 committed by Volker E
parent 6897266ab6
commit 685ce2b154
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;
}