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

Switch to shared CI config

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

00:00:35

passed #9326
PHPunit:PHP5.3:MySQL

00:01:42

passed #9327
PHPunit:PHP5.6:MySQL

00:01:12

passed #9328
PHPunit:PHP7.0:MySQL

00:01:14

passed #9329
PHPunit:PHP7.1:MySQL

00:01:01

passed #9330
PHPunit:PHP7.2:MySQL

00:00:55

passed #9331
PHPunit:PHP7.3:MySQL

00:01:00

 
  Deploy
passed #9333
PluginSVN

00:00:13