[ilAdmins] ILIAS 5.4 : support for PHP 7.0 and 7.1 dropped