wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-24 23:55:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use new placeholder mixin"

Browse source
This commit is contained in:
jenkins-bot 2017-02-23 17:12:31 +00:00 committed by Gerrit Code Review
parent f5f87f16e7 53cabcfe66
commit 887fd162d4
2 changed files with 8 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
components/search.less
View file

@ -1,4 +1,5 @@
@import 'mediawiki.mixins';
@import 'mediawiki.ui/variables';
/* Search */
#p-search {
@ -56,23 +57,12 @@ div#simpleSearch {
outline: 0;
}
// These rules MAY NOT be merged because of how CSS requires browsers
// to parse unrecognized selectors!
// Note these rules ensure that placeholder text can be distinguished from
// standard text. In browsers which make this distinction clear these rules
// are not necessary.
// For inputs that use jquery.placeholder.js e.g. IE9-
&.placeholder {
color: #999;
}
// Distinguish placeholder text in IE10+
&:-ms-input-placeholder { // stylelint-disable-line selector-no-vendor-prefix
color: #999;
}
// Distinguish placeholder text in Firefox 18-
&:-moz-placeholder { // stylelint-disable-line selector-no-vendor-prefix
color: #999;
}
/* stylelint-disable indentation */
.mixin-placeholder( {
color: @colorGray7;
opacity: 1;
} );
/* stylelint-enable indentation */
// Undo the styles Webkit browsers apply to type=search fields,
// we provide our own

2
skin.json
View file

@ -11,7 +11,7 @@
"license-name": "GPL-2.0+",
"type": "skin",
"requires": {
"MediaWiki": ">= 1.25.0"
"MediaWiki": ">= 1.29.0"
},
"ConfigRegistry": {
"vector": "GlobalVarConfig::newInstance"