Juergen Daubert e77923aee6 php: update to 7.2.11		2018-10-12 12:42:02 +02:00
..
.footprint	php: update to 7.2.4	2018-03-30 12:49:11 +02:00
.signature	php: update to 7.2.11	2018-10-12 12:42:02 +02:00
Pkgfile	php: update to 7.2.11	2018-10-12 12:42:02 +02:00