From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Thu, 28 May 2009 19:56:19 +0000 (+0000)
Subject: Per Tim's comment on r50192: $res->free(); is useless and should not be used
X-Git-Tag: 1.31.0-rc.0~41613
X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=commitdiff_plain;h=768b6aa49120c0a720f565bc73755cc1945413b7;p=lhc%2Fweb%2Fwiklou.git

Per Tim's comment on r50192: $res->free(); is useless and should not be used
---

diff --git a/profileinfo.php b/profileinfo.php
index 6056433786..de0348031b 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -301,10 +301,5 @@ foreach ($points as $point) {
 
 <p>Total time: <tt><?php printf("%5.02f", $totaltime) ?></tt></p>
 <p>Total memory: <tt><?php printf("%5.02f", $totalmemory / 1024 ) ?></tt></p>
-<?php
-
-$res->free();
-
-?>
 </body>
 </html>