[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 93dd32: JSlint fixes