From 148f06813140e6a51f6f2cd05a3a1484269abd3e Mon Sep 17 00:00:00 2001
From: River Tarnell <kateturner@users.mediawiki.org>
Date: Mon, 25 Jul 2005 11:57:21 +0000
Subject: [PATCH] repair highlightbroken preferences option

---
 skins/Simple.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/skins/Simple.php b/skins/Simple.php
index 1726bdad80..53a98e4bab 100644
--- a/skins/Simple.php
+++ b/skins/Simple.php
@@ -29,12 +29,11 @@ class SkinSimple extends SkinTemplate {
 	function reallyDoGetUserStyles() {
 		global $wgUser;
 		$s = '';
-		$s .= "/* highlightbroken: " . $wgUser->getOption('highlightbroken') . " */\n";
 		if (($undopt = $wgUser->getOption("underline")) != 2) {
 			$underline = $undopt ? 'underline' : 'none';
 			$s .= "a { text-decoration: $underline; }\n";
 		}
-		if (!$wgUser->getOption('highlightbroken')) {
+		if ($wgUser->getOption('highlightbroken')) {
 			$s .= "a.new, #quickbar a.new { text-decoration: line-through; }\n";
 		} else {
 			$s .= <<<END
-- 
2.20.1