Accompanies r69481. Style changes for the new search placeholder text

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index e621de3..f2ede07 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1547,7 +1547,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '297';
+$wgStyleVersion = '298';
 
 /**
  * This will cache static pages for non-logged-in users to reduce

diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index 61893a4..0fd42a9 100644 (file)
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -361,6 +361,12 @@ div#mw-head h5 {
                font-size: 13px;
                top: 0.25em;
        }
+       div#simpleSearch .placeholder {
+               color: #999999;
+       }
+       div#simpleSearch input::-webkit-input-placeholder { 
+               color: #999999;
+       }
        div#simpleSearch input#searchInput {
                margin: 0;
                border-width: 0;

diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 082eae1..32bccf9 100644 (file)
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -361,6 +361,12 @@ div#mw-head h5 {
                font-size: 13px;
                top: 0.25em;
        }
+       div#simpleSearch .placeholder {
+               color: #999999;
+       }
+       div#simpleSearch input::-webkit-input-placeholder { 
+               color: #999999;
+       }
        div#simpleSearch input#searchInput {
                margin: 0;
                border-width: 0;