From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 3 Dec 2011 13:29:22 +0100 Subject: Update to MediaWiki 1.18.0 * also update ArchLinux skin to chagnes in MonoBook * Use only css to hide our menu bar when printing --- includes/ProfilerSimpleText.php | 39 --------------------------------------- 1 file changed, 39 deletions(-) delete mode 100644 includes/ProfilerSimpleText.php (limited to 'includes/ProfilerSimpleText.php') diff --git a/includes/ProfilerSimpleText.php b/includes/ProfilerSimpleText.php deleted file mode 100644 index db4b6053..00000000 --- a/includes/ProfilerSimpleText.php +++ /dev/null @@ -1,39 +0,0 @@ -visible=true; - * - * @ingroup Profiler - */ -class ProfilerSimpleText extends ProfilerSimple { - public $visible=false; /* Show as
 or \n";
-			}
-		}
-	}
-
-	/* dense is good */
-	static function sort($a,$b) { return $a['real']<$b['real']; /* sort descending by time elapsed */ }
-	static function format($item,$key) { self::$out .= sprintf("%3.6f %6d - %s\n",$item['real'],$item['count'], $key); }
-}
-- 
cgit v1.2.3-54-g00ecf