Update lang/php72 to version 7.2.4
[dports.git] / lang / php71 /
drwxr-xr-x   ..
-rw-r--r-- 4696 Makefile
-rw-r--r-- 11408 Makefile.ext
-rw-r--r-- 299 distinfo
drwxr-xr-x - files
-rw-r--r-- 425 pkg-descr
-rw-r--r-- 618 pkg-message.mod
-rw-r--r-- 9080 pkg-plist
-rw-r--r-- 126 pkg-plist.mod