| Index: trunk/phase3/includes/Profiler.php |
| — | — | @@ -92,7 +92,7 @@ |
| 93 | 93 | * @param $functionname string |
| 94 | 94 | */ |
| 95 | 95 | function profileOut($functionname) { |
| 96 | | - global $wgDebugFunctionEntry, $wgProfiling;; |
| | 96 | + global $wgDebugFunctionEntry, $wgProfiling; |
| 97 | 97 | if( !$wgProfiling ) return; |
| 98 | 98 | $memory = memory_get_usage(); |
| 99 | 99 | $time = $this->getTime(); |