MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / includes / ProfilerStub.php

diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php
deleted file mode 100644 (file)
index e624e6f..0000000
--- 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() {}