Merge branch 'add/7.3' into 'master'

Add PHP 7.3

See merge request !2
2 jobs for master in 2 minutes and 38 seconds
Status Job ID Name Coverage
  Test
failed #2491
PHPunit:PHP7.2:MySQL

00:02:28

failed #2492
PHPunit:PHP7.3:MySQL

00:02:37

 
Name Stage Failure
failed
PHPunit:PHP7.3:MySQL Test
No job log
failed
PHPunit:PHP7.2:MySQL Test
No job log