Added stuff for PHP extension selection in both installers.