Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 055a9bf3bce565dad5ad1f878c59d2d12f8b8068 https://github.com/phpmyadmin/phpmyadmin/commit/055a9bf3bce565dad5ad1f878c59... Author: William Desportes <williamdes@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@wdes.fr> Commit: 573606067cc424ce43f25c68b82ae9ba7e14f6e7 https://github.com/phpmyadmin/phpmyadmin/commit/573606067cc424ce43f25c68b82a... Author: William Desportes <williamdes@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@wdes.fr>