wok diff php/receipt @ rev 24608

updated gmp and gmp-dev (6.2.0 -> 6.2.1)
author: Hans-G?nter Theisgen
date: Fri Mar 04 07:03:01 2022 +0100 (2022-03-04)
parents: bcea19bfa7af
     1.1 --- a/php/receipt	Wed Apr 01 15:23:29 2020 +0100
     1.2 +++ b/php/receipt	Fri Mar 04 07:03:01 2022 +0100
     1.3 @@ -23,6 +23,12 @@
     1.4  
     1.5  #HOST_ARCH="i486 arm"
     1.6  
     1.7 +current_version()
     1.8 +{
     1.9 +	wget -O - $WEB_SITE 2>/dev/null | \
    1.10 +	sed '/Released/!d;s|.*PHP ||;s| Rel.*||' | sort -Vr | sed q
    1.11 +}
    1.12 +
    1.13  case "$ARCH" in
    1.14  	i?86)
    1.15  		# 7.4.4 unrecognised: