This repository was archived by the owner on Oct 11, 2018. It is now read-only.

Version switch#165

Open

hp197 wants to merge 6 commits intojippi:php7.0from

hp197:version_switch

Commits on Feb 25, 2017

Created PHP version switching based on distro / version
Henry Paulissen
committed

Commits on Feb 26, 2017

Made improvements to the versioncmp checking
Henry Paulissen
committed

Commits on Feb 27, 2017

* Fixed config_root_ini and augeas loading.
Henry Paulissen
committed
Fixed multiple extensions.
Henry Paulissen
committed
Fixed apc extension for Debian Jessie.
Henry Paulissen
committed

Commits on Feb 28, 2017

Found some more spots where the php version number was hard coded.
Henry Paulissen
committed