[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 646434: Fix #14252 - DisableIS and database tree list (refresh db list)

[William Desportes]

Branch: refs/heads/QA_4_8
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 64643446183c89bd9c619a6d2a16641655599af7
https://github.com/phpmyadmin/phpmyadmin/commit/64643446183c89bd9c619a6d2a16641655599af7
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-05-14 (Tue, 05 May 2019) +02:00

Changed paths: 
M navigation.php

Log Message:
-----------
Fix #14252 - DisableIS and database tree list (refresh db list)

Fixes: #14252
Signed-off-by: William Desportes <williamdes at wdes.fr>

Commit: 8287ab2ba38a40b16e7dd816777a6e9c58d80524
https://github.com/phpmyadmin/phpmyadmin/commit/8287ab2ba38a40b16e7dd816777a6e9c58d80524
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-05-18 (Sat, 05 May 2019) +02:00

Changed paths: 
M navigation.php

Log Message:
-----------
Fix #14252 - DisableIS and database tree list (refresh db list)

Fixes: #14252
Pull-request: #15269
Signed-off-by: William Desportes <williamdes at wdes.fr>

Commit: cf55db06e23e93bdd9c4eda08c01ce2ae7aeb80e
https://github.com/phpmyadmin/phpmyadmin/commit/cf55db06e23e93bdd9c4eda08c01ce2ae7aeb80e
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-05-18 (Sat, 05 May 2019) +02:00

Changed paths: 
M ChangeLog

Log Message:
-----------
Add ChangeLog entry for #14252


Signed-off-by: William Desportes <williamdes at wdes.fr>