[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 3e6727: Improve type of some functions.js variables