[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 128d3a: Fix #15540 - Uncaught TypeError: htmlspecialchars() in NavigationTree

[William Desportes]

Branch: refs/heads/QA_4_9
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 128d3a09a0392a5a0a6c4e6ea9aefcd8ddf9efca
https://github.com/phpmyadmin/phpmyadmin/commit/128d3a09a0392a5a0a6c4e6ea9aefcd8ddf9efca
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-10-30 (Wed, 10 October 2019) +01:00

Changed paths: 
M libraries/classes/Navigation/NavigationTree.php

Log Message:
-----------
Fix #15540 - Uncaught TypeError: htmlspecialchars() in NavigationTree

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