php-sockets: update to 7.2.4

php-sockets/.md5sum

@@ -1 +1 @@
-dd28a659b88ad60797a7c102307f2edb  php-5.6.34.tar.xz
+8266120cf6500a96f1ba335d9ef1e01b  php-7.2.4.tar.xz

php-sockets/.signature

@@ -1,5 +1,5 @@
 untrusted comment: verify with /etc/ports/opt.pub
-RWSE3ohX2g5d/blk/kY2mvh9Dtt2mpWYl8+Rtq1n1Xrsy99mYsADX7uM6cvB/Fc2NT5h7SlhxOr7SNqUrmpUvC+7+h/wqWVKtwA=
-SHA256 (Pkgfile) = f6bf673d31a2c2425473a99094d71e1cc46ea73d360265a430d5378bc13c323a
+RWSE3ohX2g5d/WKhDFCNlIGJwvXvnqX4MzOdQFFL2flRN7NCX9xJEpJQAjabKeNg3IwLMrXxH16mTeEjPxwRK6QnFo3eSipSlAA=
+SHA256 (Pkgfile) = 1c456cec1b137ca708a7b3f0e6070e9417cba10d66cfa13b1f9d86052d4978b3
 SHA256 (.footprint) = 1a0e33807dcda8d11408be8b6356860cac8daea5a94d4e9a87e535fbf778f04e
-SHA256 (php-5.6.34.tar.xz) = 21453be3a045204cd2717543ef42771324f411f40962ecda4fe841930a933128
+SHA256 (php-7.2.4.tar.xz) = 7916b1bd148ddfd46d7f8f9a517d4b09cd8a8ad9248734e7c8dd91ef17057a88

php-sockets/Pkgfile

@@ -5,22 +5,18 @@
 # Depends on: 
 
 name=php-sockets
-version=5.6.34
+version=7.2.4
 release=1
 source=(http://www.php.net/distributions/php-$version.tar.xz)
 
 build() {
-	cd php-$version
+    cd php-$version
 
-	./configure \
-		--disable-all \
-		--enable-${name#php-}=shared
-	make build-modules
+    ./configure --disable-all --enable-sockets=shared
+    make build-modules
 
-	install -d $PKG/etc/php/conf.d
-	for i in modules/*.so; do
-		install -D -m755 $i $PKG/usr/lib/php/extensions/${i##*/}
-		echo extension=/usr/lib/php/extensions/${i##*/} >> $PKG/etc/php/conf.d/${name#php-}.ini
-	done
+    install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
+    install -m 755 modules/sockets.so $PKG/usr/lib/php/extensions/
 
+    printf 'extension=%s\n' sockets.so > $PKG/etc/php/conf.d/sockets.ini
 }