Merge branch 'develop' into 'master'

Develop

See merge request !10
3 jobs for master in 2 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed test:php7.1 #101862
autoscale

00:01:15

77.34%
passed test:php7.2 #101863
autoscale

00:02:01

77.34%
passed test:php7.3 #101864
autoscale

00:02:04

77.17%