php: Update from 7.1.11 to 7.1.12
[termux-packages] / packages / sl /
drwxr-xr-x   ..
-rw-r--r-- 490 build.sh
-rw-r--r-- 382 makefile.patch