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, 52 deletions

diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php
deleted file mode 100644
index e624e6f0..00000000
--- a/includes/ProfilerStub.php
+++ /dev/null
@@ -1,52 +0,0 @@
-<?php
-/**
- * Stub profiling functions
- * @file
- * @ingroup Profiler
- */
-
-/** backward compatibility */
-$wgProfiling = false;
-$wgProfiler = null;
-
-/** is setproctitle function available ? */
-$haveProctitle = function_exists( 'setproctitle' );
-
-/**
- * Begin profiling of a function
- * @param $fn string
- */
-function wfProfileIn( $fn = '' ) {
-	global $hackwhere, $wgDBname, $haveProctitle;
-	if( $haveProctitle ){
-		$hackwhere[] = $fn;
-		setproctitle( $fn . " [$wgDBname]" );
-	}
-}
-
-/**
- * Stop profiling of a function
- * @param $fn string
- */
-function wfProfileOut( $fn = '' ) {
-	global $hackwhere, $wgDBname, $haveProctitle;
-	if( !$haveProctitle ) {
-		return;
-	}
-	if( count( $hackwhere ) ) {
-		array_pop( $hackwhere );
-	}
-	if( count( $hackwhere ) ) {
-		setproctitle( $hackwhere[count( $hackwhere )-1] . " [$wgDBname]" );
-	}
-}
-
-/**
- * Does nothing, just for compatibility 
- */
-function wfGetProfilingOutput( $s, $e ) {}
-
-/**
- * Does nothing, just for compatibility 
- */
-function wfProfileClose() {}