Feature Fixes #11931: Report minimal required PHP version and stop, if PHP version is too low.

Merged Carsten Rose requested to merge F11931ReportMinimalRequiredPHPVersion into develop

Merge request reports