[dev] ILIAS 5.4.x/PHP 7.2