From: Roan Kattouw <catrope@users.mediawiki.org>
Date: Thu, 20 May 2010 07:09:07 +0000 (+0000)
Subject: Fix r66646: gotta be careful with search&replace
X-Git-Tag: 1.31.0-rc.0~36785
X-Git-Url: http://git.cyclocoop.org/url?a=commitdiff_plain;h=533c39700cf3d4f60381fe3b6470fc1265523bad;p=lhc%2Fweb%2Fwiklou.git

Fix r66646: gotta be careful with search&replace
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index ceeb655dab..8555609b08 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1677,7 +1677,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '283';
+$wgStyleVersion = '284';
 
 
 # Server-side caching:
diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index c118168c54..7a72479370 100644
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -45,7 +45,7 @@ div#content {
 	background-position: bottom left;
 	background-repeat: repeat-x;
 }
-div#head-base {
+#head-base {
 	margin-top: -5em;
 	margin-left: 10em;
 	height: 5em;
@@ -458,22 +458,22 @@ div#footer ul li {
 	color: #333333;
 	font-size: 0.7em;
 }
-div#footer div#footer-icons {
+div#footer #footer-icons {
 	float: right;
 }
 /* @noflip */
-body.ltr div#footer div#footer-places {
+body.ltr div#footer #footer-places {
 	float: left;
 }
-div#footer div#footer-info li {
+div#footer #footer-info li {
 	line-height: 1.4em;
 }
-div#footer div#footer-icons li {
+div#footer #footer-icons li {
 	float: left;
 	margin-left: 0.5em;
 	line-height: 2em;
 }
-div#footer div#footer-places li {
+div#footer #footer-places li {
 	float: left;
 	margin-right: 1em;
 	line-height: 2em;
@@ -949,7 +949,7 @@ img.thumbborder {
 #jump-to-nav {
 	display: none;
 }
-div#contentSub, div#contentSub2 {
+#contentSub, #contentSub2 {
 	font-size: 84%;
 	line-height: 1.2em;
 	margin: 0 0 1.4em 1em;
diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 5812937e79..bf65d7b8be 100644
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -45,7 +45,7 @@ div#content {
 	background-position: bottom right;
 	background-repeat: repeat-x;
 }
-div#head-base {
+#head-base {
 	margin-top: -5em;
 	margin-right: 10em;
 	height: 5em;
@@ -458,22 +458,22 @@ div#footer ul li {
 	color: #333333;
 	font-size: 0.7em;
 }
-div#footer div#footer-icons {
+div#footer #footer-icons {
 	float: left;
 }
 /* @noflip */
-body.ltr div#footer div#footer-places {
+body.ltr div#footer #footer-places {
 	float: left;
 }
-div#footer div#footer-info li {
+div#footer #footer-info li {
 	line-height: 1.4em;
 }
-div#footer div#footer-icons li {
+div#footer #footer-icons li {
 	float: right;
 	margin-right: 0.5em;
 	line-height: 2em;
 }
-div#footer div#footer-places li {
+div#footer #footer-places li {
 	float: right;
 	margin-left: 1em;
 	line-height: 2em;
@@ -949,7 +949,7 @@ img.thumbborder {
 #jump-to-nav {
 	display: none;
 }
-div#contentSub, div#contentSub2 {
+#contentSub, #contentSub2 {
 	font-size: 84%;
 	line-height: 1.2em;
 	margin: 0 1em 1.4em 0;