[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 806822: Revert "Prefer release over devel versions"