diff options
| author | tz <tz@FreeBSD.org> | 2017-01-24 21:47:48 +0800 |
|---|---|---|
| committer | tz <tz@FreeBSD.org> | 2017-01-24 21:47:48 +0800 |
| commit | de8e375c09aa17c29a90234cc5e82380f2103052 (patch) | |
| tree | 58ac9d21a4465ec4498525d4d8cdfa2ee0e790b1 /lang | |
| parent | f1f4a43f8ba2dce8fe82b37d8d8b6c2426a8d0ea (diff) | |
| download | freebsd-ports-gnome-de8e375c09aa17c29a90234cc5e82380f2103052.tar.gz freebsd-ports-gnome-de8e375c09aa17c29a90234cc5e82380f2103052.tar.zst freebsd-ports-gnome-de8e375c09aa17c29a90234cc5e82380f2103052.zip | |
Connect PHP 7.1 port (r432324)
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index f4c2edd6bc6d..203cbc02e6d2 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -252,6 +252,8 @@ SUBDIR += php56-extensions SUBDIR += php70 SUBDIR += php70-extensions + SUBDIR += php71 + SUBDIR += php71-extensions SUBDIR += php_doc SUBDIR += picoc SUBDIR += pike78 |