Juergen Daubert 025fd995f9 php: update to 7.2.5		2018-04-26 16:52:08 +02:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.md5sum	php: update to 7.2.5	2018-04-26 16:52:08 +02:00
.signature	php: update to 7.2.5	2018-04-26 16:52:08 +02:00
Pkgfile	php: update to 7.2.5	2018-04-26 16:52:08 +02:00