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

Switch to shared CI config

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

00:02:06

passed #9334
PHPunit:PHP5.3:MySQL

00:02:18

passed #9335
PHPunit:PHP5.6:MySQL

00:02:15

passed #9336
PHPunit:PHP7.0:MySQL

00:02:34

passed #9337
PHPunit:PHP7.1:MySQL

00:02:05

passed #9338
PHPunit:PHP7.2:MySQL

00:02:09

passed #9339
PHPunit:PHP7.3:MySQL

00:02:14

 
  Deploy
passed #9341
PluginSVN

00:00:17