[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 055a9b: Be sure to cast the result and not a possibly undefined index that would send a notice

[William Desportes]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 055a9bf3bce565dad5ad1f878c59d2d12f8b8068
https://github.com/phpmyadmin/phpmyadmin/commit/055a9bf3bce565dad5ad1f878c59d2d12f8b8068
Author: William Desportes <williamdes at wdes.fr>
Date: 2020-06-05 (Fri, 06 June 2020) +02:00

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

Log Message:
-----------
Be sure to cast the result and not a possibly undefined index that would send a notice

Ref: 490d731d6c5ccbd1967ae0db7ac26194eb8f995a

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

Commit: 573606067cc424ce43f25c68b82ae9ba7e14f6e7
https://github.com/phpmyadmin/phpmyadmin/commit/573606067cc424ce43f25c68b82ae9ba7e14f6e7
Author: William Desportes <williamdes at wdes.fr>
Date: 2020-06-05 (Fri, 06 June 2020) +02:00

Changed paths: 
M psalm-baseline.xml

Log Message:
-----------
Update psalm baseline after 055a9bf3bc

Ref: 055a9bf3bce565dad5ad1f878c59d2d12f8b8068

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