Update lang/php71 to version 7.1.11
authorDPorts Builder <nobody@home.ok>
Mon, 30 Oct 2017 21:26:46 +0000 (14:26 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 30 Oct 2017 21:26:46 +0000 (14:26 -0700)
commit861f6d20317bad7e5ef55b4fe329b3f114682387
tree36fd5a8697375432a21710e2c732bde2d4dca048
parent9ff39df8f29ed281742ea3d4fe9ab3dd1f3ff596
Update lang/php71 to version 7.1.11
lang/php71/Makefile
lang/php71/distinfo