Juergen Daubert 8b33424edb php: update to 7.2.15		2019-02-08 10:54:13 +01:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.signature	php: update to 7.2.15	2019-02-08 10:54:13 +01:00
Pkgfile	php: update to 7.2.15	2019-02-08 10:54:13 +01:00