From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
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/ProfilerStub.php | 52 -----------------------------------------------
 1 file changed, 52 deletions(-)
 delete mode 100644 includes/ProfilerStub.php

(limited to 'includes/ProfilerStub.php')

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() {}
-- 
cgit v1.2.2