Update PHP 7.1 from 7.1.6 to 7.1.7
- Remove PORTREVISION from: devel/php71-readline, www/php71-opcache
- Fix distinfo (previous patch has wrong size
- Remove patch "patch-main_php__ini.c", has been patched upstream
Changelog: http://www.php.net/ChangeLog-7.php#7.1.7