Big bunch of updates, big and small:

PHP 7.3

MariaDB up to 10.4

Postgres up to 11.1

Elasticsearch

I've also set up CI for base-images, and now images get built every day on a timer. This has several advantages over letting docker hub build images linked to debian and php releases: you will get the newest php versions as soon as they're available on the PPAs I use for php >= 7.0, and it will also ameliorate issues when installing php extensions where a bigger apt update needed to be done to satisfy requirements.

In other news, I'm currently working on rearchitecting the site, both as a personal improvement project as well as to make it easier to maintain down the line. I'm moving away from server side generated HTML, which I used originally as a rapid prototyping measure, taking advantage of the many Symfony features in this area (namely, forms). Times, however, move on: the generator and news functionality is being moved into an API (thanks to symfony flex and api platform) and the frontend is moving into a React app.

This is a pretty big undertaking and I work full time as a contractor, so it will take some time until it's ready for prime time. I do as always accept contributions, please head to github, next branch if you wanna help.