Bleh, didn't press save again (r80350)

[lhc/web/wiklou.git] / includes / ProfilerStub.php

diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php
index 575fa7e..e624e6f 100644 (file)
--- a/includes/ProfilerStub.php
+++ b/includes/ProfilerStub.php
@@ -30,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]" );
+       }
 }
 
 /**