Added @noflip to div.tleft and div.rleft

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0dd2e45..d27a2cf 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1548,7 +1548,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '292';
+$wgStyleVersion = '293';
 
 /**
  * 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 2329314..a3fbcf6 100644 (file)
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -900,11 +900,13 @@ div.magnify a, div.magnify img {
        border: none !important;
        background: none !important;
 }
+/* @noflip */
 div.tright {
        clear: right;
        float: right;
        border-width: .5em 0 .8em 1.4em;
 }
+/* @noflip */
 div.tleft {
        float: left;
        clear: left;

diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 04a065f..cce5318 100644 (file)
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -900,17 +900,19 @@ div.magnify a, div.magnify img {
        border: none !important;
        background: none !important;
 }
+/* @noflip */
 div.tright {
-       clear: left;
-       float: left;
-       border-width: .5em 1.4em .8em 0;
-}
-div.tleft {
-       float: right;
        clear: right;
-       margin-left: .5em;
+       float: right;
        border-width: .5em 0 .8em 1.4em;
 }
+/* @noflip */
+div.tleft {
+       float: left;
+       clear: left;
+       margin-right: .5em;
+       border-width: .5em 1.4em .8em 0;
+}
 img.thumbborder {
        border: 1px solid #dddddd;
 }