Hello,

A while back I already did a transition to PHP7.2 but harnet time to populate it here yet.

I just tried to upgrade to 7.3.2 and it work without any problems. I’ll attach my patches. I also did clean up the lighted rule and removed php5 with this stack.