The board seems to work just fine with php 7.3.9.
The Update process however did not allow update from 3.2.7 to 3.2.8 with this php verion. It isn
t supported because it is considered php 7.3-dev, I guess.
I had to temporarily switch back to php 7.0 to perform the update.