Open
Description
We're using the version of MariaDB, Apache, and PHP provided by Debian. We set up the machine with a manual unreproducible setup process.
We should probably use Docker in production instead. This will allow us to choose our preferred version of PHP #468 and MariaDB, and will give us the freedom to upgrade Debian whenever we want, without breaking production.