Juergen Daubert efe06a5322 [php] update to 7.2.16" ... security fixes, see http://de2.php.net/archive/2019.php#id2019-03-07-2		2019-03-08 13:51:00 +01:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.signature	[php] update to 7.2.16"	2019-03-08 13:51:00 +01:00
Pkgfile	[php] update to 7.2.16"	2019-03-08 13:51:00 +01:00