Merge branch 'update-dependencies' into 'develop'

Update dependencies and use proper PHP 7.3 CLI image.

See merge request !13
2 jobs for develop in 50 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Test
passed #2379
test:5.6

00:00:26

passed #2380
test:7.3

00:00:24