From 6da791caaa776cfdd2deca4e1ac0e68f66eca077 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@suse.cz>
Date: Fri, 27 Apr 2012 08:36:55 +0200
Subject: [PATCH] This no longer applies

---
 libraries/core.lib.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libraries/core.lib.php b/libraries/core.lib.php
index 2c70a826ae..6fa40c8944 100644
--- a/libraries/core.lib.php
+++ b/libraries/core.lib.php
@@ -202,8 +202,6 @@ function PMA_securePath($path)
  * @param boolean      $delete_session whether to delete session cookie
  *
  * @return  exit
- *
- * @todo    use detected argument separator (PMA_Config)
  */
 function PMA_fatalError($error_message, $message_args = null, $delete_session = true)
 {