[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 63d57b: Push dbi and dummyDbi members down