From 222b01f5169f1c7e69762e0e8904c24f78f71882 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 28 Jul 2010 11:52:48 +0200 Subject: update to MediaWiki 1.16.0 --- skins/Simple.php | 31 ++++++++++++------------------- 1 file changed, 12 insertions(+), 19 deletions(-) (limited to 'skins/Simple.php') diff --git a/skins/Simple.php b/skins/Simple.php index b26f50d0..416dc3f6 100644 --- a/skins/Simple.php +++ b/skins/Simple.php @@ -1,8 +1,8 @@ skinname = 'simple'; - $this->stylename = 'simple'; - $this->template = 'MonoBookTemplate'; - } + var $skinname = 'simple', $stylename = 'simple', + $template = 'MonoBookTemplate', $useHeadElement = true; function setupSkinUserCss( OutputPage $out ){ $out->addStyle( 'simple/main.css', 'screen' ); $out->addStyle( 'simple/rtl.css', '', '', 'rtl' ); - } function reallyGenerateUserStylesheet() { global $wgUser; $s = ''; - if (($undopt = $wgUser->getOption("underline")) != 2) { + 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 .= <<getOption('justify')) { + if( $wgUser->getOption( 'justify' ) ) { $s .= "#article, #bodyContent { text-align: justify; }\n"; } - if (!$wgUser->getOption('showtoc')) { + if( !$wgUser->getOption( 'showtoc' ) ) { $s .= "#toc { display: none; }\n"; } - if (!$wgUser->getOption('editsection')) { + if( !$wgUser->getOption( 'editsection' ) ) { $s .= ".editsection { display: none; }\n"; } return $s; } } - - -- cgit v1.2.3-54-g00ecf