Merge branch 'php73-tests' into 'develop'

Test for official PHP 7.3, no more RC.

See merge request !229
2 jobs for develop in 2 minutes and 21 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Test
passed #2241
test:7.2

00:01:28

failed #2242
test:7.3

00:00:53

 
Name Stage Failure
failed
test:7.3 Test
(22/25) Purging mpc1 (1.0.3-r1)
(23/25) Purging mpfr3 (3.1.5-r1)
(24/25) Purging isl (0.18-r0)
(25/25) Purging gmp (6.1.2-r1)
Executing busybox-1.28.4-r2.trigger
OK: 30 MiB in 34 packages
$ curl -sS https://getcomposer.org/installer | php
curl: (35) LibreSSL SSL_connect: SSL_ERROR_SYSCALL in connection to getcomposer.org:443
ERROR: Job failed: exit code 35