diff --git a/ChangeLog b/ChangeLog
index d20d5e7b1f..dd87499153 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -75,9 +75,11 @@ phpMyAdmin - ChangeLog
 - issue #12859 Changed WHERE condition to 0 instead of 1 for SQL query window to avoid accidents
 - issue #12872 Use same query for display and execution when dropping index
 - issue #12868 Fix check for user groups freatures being enabled
+- issue #12876 Fix notices and warning related to dbs_to_test global
 - issue #12831 Fix table formatting on Insert tab, which mostly affected row highlighting
 - issue #12495 Reintroduced phpinfo page with limited capabilities
 - issue #12861 Fix renaming tables with lower_case_table_names=2
+- issue #12876 Fix possible PHP error in navigation
 
 
          --- Older ChangeLogs can be found on our project website ---
diff --git a/libraries/navigation/NavigationTree.php b/libraries/navigation/NavigationTree.php
index a3446b397e..5767479236 100644
--- a/libraries/navigation/NavigationTree.php
+++ b/libraries/navigation/NavigationTree.php
@@ -17,6 +17,8 @@ use PMA\libraries\Response;
 use PMA\libraries\Util;
 use PMA\libraries\URL;
 
+require_once 'libraries/check_user_privileges.lib.php';
+
 /**
  * Displays a collapsible of database objects in the navigation frame
  *