[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 0e1dce: Run lint in separate Travis job