From 4a53eb19160936770d32244939ee82906e0f88c8 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Thu, 11 Mar 2010 17:58:51 -0500
Subject: [PATCH] duplicate comment

---
 navigation.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/navigation.php b/navigation.php
index fe6fccc89..8bb5361c9 100644
--- a/navigation.php
+++ b/navigation.php
@@ -36,7 +36,6 @@
  * @uses PMA_getTableList()
  * @uses PMA_getRelationsParam()
  * @uses PMA_outBufferPre()
- * @uses session_write_close()
  * @uses strlen()
  * @uses session_write_close()
  * @uses is_array()