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