http://www.mediawiki.org/wiki/Special:Code/MediaWiki/97581
Revision: 97581
Author: reedy
Date: 2011-09-19 23:59:53 +0000 (Mon, 19 Sep 2011)
Log Message:
-----------
Set missing parameter to an empty array
Modified Paths:
--------------
branches/wmf/1.18wmf1/StartProfiler.php
Modified: branches/wmf/1.18wmf1/StartProfiler.php
===================================================================
--- branches/wmf/1.18wmf1/StartProfiler.php 2011-09-19 23:51:21 UTC (rev
97580)
+++ branches/wmf/1.18wmf1/StartProfiler.php 2011-09-19 23:59:53 UTC (rev
97581)
@@ -14,26 +14,26 @@
) {*/
if ( @$_SERVER['REQUEST_URI'] ==
'/w/index.php?title=United_States&action=submit' ) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleUDP.php' );
- $wgProfiler = new ProfilerSimpleUDP;
+ $wgProfiler = new ProfilerSimpleUDP( array() );
$wgProfiler->setProfileID( 'bigpage' );
} elseif (@defined($_REQUEST['forceprofile'])) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleText.php' );
- $wgProfiler = new ProfilerSimpleText;
+ $wgProfiler = new ProfilerSimpleText( array() );
$wgProfiler->setProfileID( 'forced' );
} elseif (@defined($_REQUEST['forcetrace'])) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleTrace.php' );
- $wgProfiler = new ProfilerSimpleTrace;
+ $wgProfiler = new ProfilerSimpleTrace( array() );
} elseif ( strpos( @$_SERVER['REQUEST_URI'], '/w/thumb.php' ) !== false ) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleUDP.php' );
- $wgProfiler = new ProfilerSimpleUDP;
+ $wgProfiler = new ProfilerSimpleUDP( array() );
$wgProfiler->setProfileID( 'thumb' );
} elseif ( $host == 'test2.wikipedia.org' ) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleUDP.php' );
- $wgProfiler = new ProfilerSimpleUDP;
+ $wgProfiler = new ProfilerSimpleUDP( array() );
$wgProfiler->setProfileID( 'test2' );
} elseif ( !( $rand % 50 ) ) {
require_once(
dirname(__FILE__).'/includes/profiler/ProfilerSimpleUDP.php' );
- $wgProfiler = new ProfilerSimpleUDP;
+ $wgProfiler = new ProfilerSimpleUDP( array() );
/*
if ( $host == 'en.wikipedia.org' ) {
$wgProfiler->setProfileID( 'enwiki' );
@@ -55,7 +55,7 @@
}
elseif ( defined( 'MW_FORCE_PROFILE' ) ) {
require_once( dirname(__FILE__).'/includes/profiler/Profiler.php' );
- $wgProfiler = new Profiler;
+ $wgProfiler = new Profiler( array() );
} else {
require_once( dirname(__FILE__).'/includes/profiler/ProfilerStub.php' );
}
_______________________________________________
MediaWiki-CVS mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs