diff options
author | nobody <nobody@localhost> | 2004-06-27 00:05:32 +0000 |
---|---|---|
committer | nobody <nobody@localhost> | 2004-06-27 00:05:32 +0000 |
commit | 0c1d741ff4792d486258b390cf50cf3f9e229511 (patch) | |
tree | 55961c46b433ade0739763bee2ba3c4843d13751 /includes/Profiling.php | |
parent | d5c8171a3157337557bc54ecb730d7dd35778ca3 (diff) | |
parent | 1aaed5fd7c7f4d7ea7abbfc7915bab5954d60a30 (diff) | |
download | mediawikicore-1.3.0beta4a.tar.gz mediawikicore-1.3.0beta4a.zip |
This commit was manufactured by cvs2svn to create tag1.3.0beta4a
'REL1_3_0beta4a'.
Diffstat (limited to 'includes/Profiling.php')
-rwxr-xr-x | includes/Profiling.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Profiling.php b/includes/Profiling.php index 392ca38f1247..ed58bf08d80a 100755 --- a/includes/Profiling.php +++ b/includes/Profiling.php @@ -82,6 +82,7 @@ class Profiler if( !count( $this->mStack ) ) { return "No profiling output\n"; } + $this->close(); $width = 125; $format = "%-" . ($width - 28) . "s %6d %6.3f %6.3f %6.3f%%\n"; $titleFormat = "%-" . ($width - 28) . "s %9s %9s %9s %9s\n"; @@ -173,5 +174,4 @@ class Profiler $wgProfiler = new Profiler(); $wgProfiler->profileIn( "-total" ); - ?> |