We have just completed a successful PHP update on our servers to version 7.2. This is the latest stable version of PHP, which comes with various improvements and new features.
We have also updated our MariaDB databse servers to the latest version 10.2.