Sebastian Hugentobler c914940180 use php7 instead of 5		2016-06-28 16:54:50 +02:00
..
etc	use php7 instead of 5	2016-06-28 16:54:50 +02:00