Update lang/php72 to version 7.2.3
[dports.git] / lang / php72 /
drwxr-xr-x   ..
-rw-r--r-- 4354 Makefile
-rw-r--r-- 11239 Makefile.ext
-rw-r--r-- 151 distinfo
drwxr-xr-x - files
-rw-r--r-- 425 pkg-descr
-rw-r--r-- 618 pkg-message.mod
-rw-r--r-- 9064 pkg-plist
-rw-r--r-- 126 pkg-plist.mod