Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 31ee76f507ef8689b31e0061120a9b5634f84d9c https://github.com/phpmyadmin/phpmyadmin/commit/31ee76f507ef8689b31e0061120a... Author: William Desportes <williamdes@wdes.fr> Date: 2019-12-18 (Wed, 12 December 2019) +01:00 Changed paths: M libraries/classes/DatabaseInterface.php Log Message: ----------- Fix a phpstan errpr Introduced-by: c01377b161f3d00a2de16ad41e9a97c6f580e157 Signed-off-by: William Desportes <williamdes@wdes.fr>