System upgrade

We’ve recently upgraded to PHP 7.2 and MySQL 5.7, providing higher performance and better stability.

So far we haven’t noted any issues with this upgrade, but will be diligent if any such issues arise.

If you notice anything, please let us know.