dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a7df052
)
repair highlightbroken preferences option
author
River Tarnell
<kateturner@users.mediawiki.org>
Mon, 25 Jul 2005 11:57:21 +0000
(11:57 +0000)
committer
River Tarnell
<kateturner@users.mediawiki.org>
Mon, 25 Jul 2005 11:57:21 +0000
(11:57 +0000)
skins/Simple.php
patch
|
blob
|
history
diff --git
a/skins/Simple.php
b/skins/Simple.php
index
1726bda
..
53a98e4
100644
(file)
--- 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