* PHP 7.2 is required for the current setup!