diff options
| author | William Desportes <williamdes@wdes.fr> | 2019-05-13 23:04:09 +0300 |
|---|---|---|
| committer | William Desportes <williamdes@wdes.fr> | 2019-05-14 08:35:07 +0300 |
| commit | 64643446183c89bd9c619a6d2a16641655599af7 (patch) | |
| tree | 4beeec78e2cb9ca566ca967a5ffa11f54085e3fe /navigation.php | |
| parent | 4b2a95712355d9a367f33f31fc4980aa116017ff (diff) | |
Fix #14252 - DisableIS and database tree list (refresh db list)
Fixes: #14252
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'navigation.php')
| -rw-r--r-- | navigation.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/navigation.php b/navigation.php index 4877d8339f..7b79ac71ee 100644 --- a/navigation.php +++ b/navigation.php @@ -11,6 +11,7 @@ use PhpMyAdmin\Config\PageSettings; use PhpMyAdmin\Navigation\Navigation; use PhpMyAdmin\Relation; use PhpMyAdmin\Response; +use PhpMyAdmin\Util; require_once './libraries/common.inc.php'; @@ -31,6 +32,10 @@ if (isset($_POST['getNaviSettings']) && $_POST['getNaviSettings']) { exit(); } +if (isset($_POST['reload'])) { + Util::cacheSet('dbs_to_test', false);// Empty database list cache, see #14252 +} + $relation = new Relation(); $cfgRelation = $relation->getRelationsParam(); if ($cfgRelation['navwork']) { |