+++ /dev/null
-<?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
- */
-
-
--- /dev/null
+<?php
+
+require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
+
+/**
+ * To use a profiler, copy this file to StartProfiler.php,
+ * delete the PHP 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
+ */
+
+
# Start profiler
-require_once( "$IP/StartProfiler.php" );
+if( file_exists("$IP/StartProfiler.php") ) {
+ require_once( "$IP/StartProfiler.php" );
+} else {
+ require_once( "$IP/includes/ProfilerStub.php" );
+}
wfProfileIn( 'WebStart.php-conf' );
# Load up some global defines.