To further reduce the maintenance work we should increase the PHP version again. This time directly to 7.2 which is the latest version with security support for at least 6 more months.

GlotPress is not a regular user plugin like others therefore I see no reason why we have to support older PHP versions. This will allow us to use more modern tooling and/or PHP features.

Previously: #819