[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 579711: Remove hhvm 3.19 for now