[dev] ILIAS 6.0: PHP 7.4