diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-06-22 11:28:20 +0200 |
| commit | 9db190c7e736ec8d063187d4241b59feaf7dc2d1 (patch) | |
| tree | 46d1a0dee7febef5c2d57a9f7b972be16a163b3d /includes/ProfilerStub.php | |
| parent | 78677c7bbdcc9739f6c10c75935898a20e1acd9e (diff) | |
update to MediaWiki 1.17.0
Diffstat (limited to 'includes/ProfilerStub.php')
| -rw-r--r-- | includes/ProfilerStub.php | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php index 100cb8df..e624e6f0 100644 --- a/includes/ProfilerStub.php +++ b/includes/ProfilerStub.php @@ -7,6 +7,7 @@ /** backward compatibility */ $wgProfiling = false; +$wgProfiler = null; /** is setproctitle function available ? */ $haveProctitle = function_exists( 'setproctitle' ); @@ -29,12 +30,15 @@ function wfProfileIn( $fn = '' ) { */ function wfProfileOut( $fn = '' ) { global $hackwhere, $wgDBname, $haveProctitle; - if( !$haveProctitle ) + if( !$haveProctitle ) { return; - if( count( $hackwhere ) ) + } + if( count( $hackwhere ) ) { array_pop( $hackwhere ); - if( count( $hackwhere ) ) + } + if( count( $hackwhere ) ) { setproctitle( $hackwhere[count( $hackwhere )-1] . " [$wgDBname]" ); + } } /** |