Merge branch 'bump_deps' into 'develop'

Bump OTPHP to 10.0 and apply necessary fixes, require PHP 7.2

See merge request !14
3 jobs for develop in 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #9967
test:7.2

00:00:28

passed #9968
test:7.3

00:00:16

passed #9969
test:7.4

00:00:27