From 0d2ff127e8b7f48189a4e80ed716bc4cbd181920 Mon Sep 17 00:00:00 2001
From: Krinkle <krinkle@users.mediawiki.org>
Date: Wed, 27 Apr 2011 20:25:35 +0000
Subject: [PATCH] Fixes for IE7 (alignment of checkboxes due to double-margin
 bug on floated elements. The popular display:inline hack doesn't fix this.
 Removed the margin for now, was collapsed/invisible in most browsers anyway.
 Covered by the margins on the parent elements.

---
 skins/Vector.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/skins/Vector.php b/skins/Vector.php
index 2b1ae43903..5cbc76b16d 100644
--- 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]-->"
 		);
-- 
2.20.1