diff options
author | Roan Kattouw <catrope@users.mediawiki.org> | 2009-01-23 20:39:54 +0000 |
---|---|---|
committer | Roan Kattouw <catrope@users.mediawiki.org> | 2009-01-23 20:39:54 +0000 |
commit | 53b85fc55a43345f990ffad56d20b9b52109935c (patch) | |
tree | a02d1550d29045c5cf2d77ce357f72075d0b837a /includes/Profiler.php | |
parent | cd910c6544a40229f66b55ce7dc57d74c33435ec (diff) | |
download | mediawikicore-53b85fc55a43345f990ffad56d20b9b52109935c.tar.gz mediawikicore-53b85fc55a43345f990ffad56d20b9b52109935c.zip |
Remove stray semicolon
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/46099
Diffstat (limited to 'includes/Profiler.php')
-rw-r--r-- | includes/Profiler.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Profiler.php b/includes/Profiler.php index 0ea8e8ae0bcc..da0ce3b40ed9 100644 --- a/includes/Profiler.php +++ b/includes/Profiler.php @@ -92,7 +92,7 @@ class Profiler { * @param $functionname string */ function profileOut($functionname) { - global $wgDebugFunctionEntry, $wgProfiling;; + global $wgDebugFunctionEntry, $wgProfiling; if( !$wgProfiling ) return; $memory = memory_get_usage(); $time = $this->getTime(); |