From 768b6aa49120c0a720f565bc73755cc1945413b7 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Thu, 28 May 2009 19:56:19 +0000
Subject: [PATCH] Per Tim's comment on r50192: $res->free(); is useless and
 should not be used

---
 profileinfo.php | 5 -----
 1 file changed, 5 deletions(-)

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>
-- 
2.20.1