From d7d260f5fd313fd7f3b510d4aff3651a7d6419ba Mon Sep 17 00:00:00 2001
From: Hugues Peccatte <hugues.peccatte@gmail.com>
Date: Sun, 11 Jan 2015 16:52:08 +0100
Subject: [PATCH] Manage empty target.

Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>
---
 libraries/Util.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/Util.class.php b/libraries/Util.class.php
index fb93c53c1c..d9a47c0501 100644
--- a/libraries/Util.class.php
+++ b/libraries/Util.class.php
@@ -3197,7 +3197,7 @@ class PMA_Util
             'db_search.php' => __('Search'),
             'db_operations.php' => __('Operations'),
         );
-        return $mapping[$target];
+        return isset($mapping[$target]) ? $mapping[$target] : false;
     }
 
     /**