From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Thu, 7 May 2009 03:46:39 +0000 (+0000)
Subject: ignore startprofiler.php
X-Git-Tag: 1.31.0-rc.0~41859
X-Git-Url: http://git.cyclocoop.org/fichier?a=commitdiff_plain;h=de0760246c82c1d991acbcca5d5d9681125ec0ff;p=lhc%2Fweb%2Fwiklou.git

ignore startprofiler.php
---

diff --git a/StartProfiler.php b/StartProfiler.php
deleted file mode 100644
index 3fcf69e6e5..0000000000
--- a/StartProfiler.php
+++ /dev/null
@@ -1,22 +0,0 @@
-<?php
-
-require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
-
-/**
- * To use a profiler, delete the line above and add something like this:
- *
- *   require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *   $wgProfiler = new Profiler;
- *
- * Or for a sampling profiler:
- *   if ( !mt_rand( 0, 100 ) ) {
- *       require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *       $wgProfiler = new Profiler;
- *   } else {
- *       require_once(  dirname(__FILE__).'/includes/ProfilerStub.php' );
- *   }
- * 
- * Configuration of the profiler output can be done in LocalSettings.php
- */
-
-