Comment 1 for bug 1547642

This is a bugfix only upload; it does not modify any existing functionality nor does it bring any new features. It simply updates the configuration with regards to php7.0 existing and php5 not existing.

This did not make it in before FeatureFreeze due to my own mistake, and some timing delays which delayed 1.9.11 entering Ubuntu in the first place