[phpMyAdmin Git] [phpmyadmin/phpmyadmin] af9d68: Casting to int something that's already int