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

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

See merge request !5
8 jobs for master in 2 minutes and 9 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Test
passed #3988
PHPCS

00:00:38

passed #3982
PHPunit:PHP5.3:MySQL

00:01:39

passed #3983
PHPunit:PHP5.6:MySQL

00:01:23

passed #3984
PHPunit:PHP7.0:MySQL

00:01:21

passed #3985
PHPunit:PHP7.1:MySQL

00:01:08

passed #3986
PHPunit:PHP7.2:MySQL

00:01:15

passed #3987
PHPunit:PHP7.3:MySQL

00:01:14

 
  Deploy
passed #3989
PluginSVN

00:00:30