[Phpmyadmin-git] [phpmyadmin/website] 433002: Fix ant build job