Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

1 files changed, 0 insertions, 39 deletions

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 @@
-<?php
-/**
- * @file
- * @ingroup Profiler
- */
-
-require_once( dirname( __FILE__ ) . '/ProfilerSimple.php' );
-
-/**
- * The least sophisticated profiler output class possible, view your source! :)
- *
- * Put the following 3 lines in StartProfiler.php:
- *
- * require_once( dirname( __FILE__ ) . '/includes/ProfilerSimpleText.php' );
- * $wgProfiler = new ProfilerSimpleText;
- * $wgProfiler->visible=true;
- *
- * @ingroup Profiler
- */
-class ProfilerSimpleText extends ProfilerSimple {
-	public $visible=false; /* Show as <PRE> or <!-- ? */
-	static private $out;
-
-	function getFunctionReport() {
-		if($this->mTemplated) {
-			uasort($this->mCollated,array('self','sort'));
-			array_walk($this->mCollated,array('self','format'));
-			if ($this->visible) {
-				print '<pre>'.self::$out.'</pre>';
-			} else {
-				print "<!--\n".self::$out."\n-->\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); }
-}