From 27fafba3e94022136fb5ada3d73b96db97aa490d Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Thu, 21 Apr 2011 15:53:25 +0000 Subject: [PATCH] Use Profiler::instance() instead of $wgProfiler --- includes/SkinTemplate.php | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/includes/SkinTemplate.php b/includes/SkinTemplate.php index 3f106c5e0d..490621a991 100644 --- a/includes/SkinTemplate.php +++ b/includes/SkinTemplate.php @@ -140,12 +140,10 @@ class SkinTemplate extends Skin { global $wgMaxCredits, $wgShowCreditsIfMax; global $wgPageShowWatchingUsers; global $wgUseTrackbacks, $wgUseSiteJs, $wgDebugComments; - global $wgArticlePath, $wgScriptPath, $wgServer, $wgProfiler; + global $wgArticlePath, $wgScriptPath, $wgServer; wfProfileIn( __METHOD__ ); - if ( is_object( $wgProfiler ) ) { - $wgProfiler->setTemplated( true ); - } + Profiler::instance()->setTemplated( true ); $oldid = $wgRequest->getVal( 'oldid' ); $diff = $wgRequest->getVal( 'diff' ); -- 2.20.1