[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 219a66: Improve type of DatabaseInterface::getCurrentUserGrants()