[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 72882e: Add missing include. (bug #4463)