[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5e937f: Add missing include