was away this week and still pretty busy, so need another 2 or 3 days to go back to php 7.2. on my server. Will inform in this thread whether it was solved