[phpMyAdmin Git] [phpmyadmin/shapefile] a666f7: Add PHP 7.1.0RC1