Merge branch 'hotline' into 'master'

Hotline

See merge request !4185
3 jobs for master in 47 minutes and 10 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #34845
docker
test:php5_latest

00:47:10

passed #34847
docker
test:php74_latest

00:23:16

passed #34846
docker
test:php7_latest

00:21:43