From cecb985bee3bdd252e1b8dc0bd500b37cd52be01 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 16 May 2007 20:58:53 +0000 Subject: Aktualisierung auf MediaWiki 1.10.0 Plugins angepasst und verbessert kleine Korrekturen am Design --- includes/Profiler.php | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'includes/Profiler.php') diff --git a/includes/Profiler.php b/includes/Profiler.php index 30cda63f..da3a82ed 100644 --- a/includes/Profiler.php +++ b/includes/Profiler.php @@ -1,7 +1,6 @@ profileIn( '-total' ); } - } function profileIn($functionname) { @@ -291,7 +288,7 @@ class Profiler { * @return Integer * @private */ - function calltreeCount(& $stack, $start) { + function calltreeCount($stack, $start) { $level = $stack[$start][1]; $count = 0; for ($i = $start -1; $i >= 0 && $stack[$i][1] > $level; $i --) { @@ -308,7 +305,7 @@ class Profiler { global $wguname, $wgProfilePerHost; $fname = 'Profiler::logToDB'; - $dbw = & wfGetDB(DB_MASTER); + $dbw = wfGetDB(DB_MASTER); if (!is_object($dbw)) return false; $errorState = $dbw->ignoreErrors( true ); -- cgit v1.2.3-54-g00ecf