[Phpmyadmin-git] [phpmyadmin/website] 75d5d5: Adjust build.xml to new website code