[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5a79ac: Replace is_resource with different than false