Fix #12092 PHP Fatal error: Call to undefined function __()

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>

ChangeLog

@@ -58,6 +58,7 @@ phpMyAdmin - ChangeLog
 - issue #12085 Like search strings being escaped incorrectly
 - issue #12092 Rename exported databases/tables doesn't seem to work
 - issue #12099 Undefined index: controllink
+- issue #12092 PHP Fatal error: Call to undefined function __()
 
 4.5.5.1 (2016-02-29)
 - issue #11971 CREATE UNIQUE INDEX index type is not recognized by parser.

libraries/controllers/database/DatabaseStructureController.php

@@ -868,6 +868,8 @@ class DatabaseStructureController extends DatabaseController
      */
     protected function checkFavoriteTable($current_table)
     {
+        // ensure $_SESSION['tmpval']['favorite_tables'] is initialized
+        RecentFavoriteTable::getInstance('favorite');
         foreach (
             $_SESSION['tmpval']['favorite_tables'][$GLOBALS['server']] as $value
         ) {