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

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

See merge request !7
8 jobs for master in 2 minutes and 4 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #3971
PHPCS

00:00:32

passed #3965
PHPunit:PHP5.3:MySQL

00:01:25

passed #3966
PHPunit:PHP5.6:MySQL

00:01:31

passed #3967
PHPunit:PHP7.0:MySQL

00:01:25

passed #3968
PHPunit:PHP7.1:MySQL

00:01:17

passed #3969
PHPunit:PHP7.2:MySQL

00:01:21

passed #3970
PHPunit:PHP7.3:MySQL

00:01:15

 
  Deploy
passed #3972
PluginSVN

00:00:32