Although I don't have much experience with ILIAS I just want to confirm the workaround.
During migration of content into ILIAS 5.4.3/PHP7.2 we run into similar trouble.
As a workaround we kept ILIAS 5.4.3 but went back to PHP7.1 (knowing its end of life is end of 2019) --> all works fine now.
Best regards
Andreas
During migration of content into ILIAS 5.4.3/PHP7.2 we run into similar trouble.
As a workaround we kept ILIAS 5.4.3 but went back to PHP7.1 (knowing its end of life is end of 2019) --> all works fine now.
Best regards
Andreas