[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 638f7b: Add missing include