Merge branch 'update/ci-config' into 'master'

Don't be so specific, letting the API supply the point version.

See merge request !4
8 jobs for master in 1 minute and 55 seconds (queued for 4 seconds)
latest
Status Job ID Name Coverage
  Test
passed #3979
PHPCS

00:00:36

passed #3973
PHPunit:PHP5.3:MySQL

00:01:20

passed #3974
PHPunit:PHP5.6:MySQL

00:01:10

passed #3975
PHPunit:PHP7.0:MySQL

00:01:26

passed #3976
PHPunit:PHP7.1:MySQL

00:01:20

passed #3977
PHPunit:PHP7.2:MySQL

00:01:12

passed #3978
PHPunit:PHP7.3:MySQL

00:01:11

 
  Deploy
passed #3980
PluginSVN

00:00:28