Merge branch 'php' into 'dev'

Update PHP Version check during Setup.

See merge request !1530
5 jobs from dev in 8 minutes and 4 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #336397
php7.2_mariadb

00:05:55

passed #336395
php7.2_mysql 1/2

00:05:37

passed #336413
php7.2_mysql 2/2

00:02:08

passed #336398
php7.2_postgres

00:05:08

failed #336396
php7.2_mysql 2/2

00:03:12