From de0760246c82c1d991acbcca5d5d9681125ec0ff Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Thu, 7 May 2009 03:46:39 +0000
Subject: [PATCH] ignore startprofiler.php

---
 StartProfiler.php | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 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
- */
-
-
-- 
2.20.1