[nginx-php] create php 7.2 tag

nginx-php/rootfs/usr/local/bin/docker-php-ext-configure

@@ -0,0 +1,20 @@
+#!/bin/sh
+set -e
+
+ext="$1"
+extDir="/usr/src/php/ext/$ext"
+if [ -z "$ext" ] || ! [ -d "$extDir" ]; then
+    echo >&2 "usage: $0 ext-name [configure flags]"
+    echo >&2 "   ie: $0 gd --with-jpeg-dir=/usr/local/something"
+    echo >&2
+    echo >&2 'Possible values for ext-name:'
+    echo >&2 $(find /usr/src/php/ext -mindepth 2 -maxdepth 2 -type f -name 'config.m4' | cut -d/ -f6 | sort)
+    exit 1
+fi
+shift
+
+set -x
+cd "$extDir"
+[[ ! -f "config.m4" && -f "config0.m4" ]] && mv config0.m4 config.m4
+phpize
+./configure "$@"