Connect PHP 7.1 port (r432324)

This commit is contained in:
Torsten Zuehlsdorff 2017-01-24 13:47:48 +00:00
parent 875dbacfa1
commit ca9537e922
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=432337

View file

@ -252,6 +252,8 @@
SUBDIR += php56-extensions
SUBDIR += php70
SUBDIR += php70-extensions
SUBDIR += php71
SUBDIR += php71-extensions
SUBDIR += php_doc
SUBDIR += picoc
SUBDIR += pike78