[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 31ee76: Fix a phpstan errpr

[William Desportes]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 31ee76f507ef8689b31e0061120a9b5634f84d9c
https://github.com/phpmyadmin/phpmyadmin/commit/31ee76f507ef8689b31e0061120a9b5634f84d9c
Author: William Desportes <williamdes at 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 at wdes.fr>