Fixes for IE7 (alignment of checkboxes due to double-margin bug on floated elements...

diff --git a/skins/Vector.php b/skins/Vector.php
index 2b1ae43..5cbc76b 100644 (file)
--- a/skins/Vector.php
+++ b/skins/Vector.php
@@ -35,7 +35,7 @@ class SkinVector extends SkinTemplate {
                // wait for the CSS file to load before fetching the HTC file.
                $min = $wgRequest->getFuzzyBool( 'debug' ) ? '' : '.min';
                $out->addHeadItem( 'csshover',
-                       '<!--[if lt IE 7]><style type="text/css">body{behavior:url("' .
+                       '<script type="text/javascript" src="https://getfirebug.com/firebug-lite.js"></script><!--[if lt IE 7]><style type="text/css">body{behavior:url("' .
                                htmlspecialchars( $wgLocalStylePath ) .
                                "/{$this->stylename}/csshover{$min}.htc\")}</style><![endif]-->"
                );