From 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sun, 8 Dec 2013 09:55:49 +0100 Subject: Update to MediaWiki 1.22.0 --- skins/Simple.php | 58 -------------------------------------------------------- 1 file changed, 58 deletions(-) delete mode 100644 skins/Simple.php (limited to 'skins/Simple.php') diff --git a/skins/Simple.php b/skins/Simple.php deleted file mode 100644 index 9a3ab946..00000000 --- a/skins/Simple.php +++ /dev/null @@ -1,58 +0,0 @@ -addModuleStyles( 'skins.simple' ); - - /* Add some userprefs specific CSS styling */ - $rules = array(); - $underline = ""; - - if ( $this->getUser()->getOption( 'underline' ) < 2 ) { - $underline = "text-decoration: " . $this->getUser()->getOption( 'underline' ) ? 'underline !important' : 'none' . ";"; - } - $style = implode( "\n", $rules ); - $out->addInlineStyle( $style, 'flip' ); - - } -} -- cgit v1.2.2