Merge branch 'pipeline' into 'master'

Pipeline

See merge request !1
5 jobs for master in 1 minute (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #4968
lint:lint-php5.4

00:00:25

passed #4969
lint:lint-php5.6

00:00:30

passed #4970
lint:lint-php7.0

00:00:28

passed #4971
lint:lint-php7.1

00:00:26

 
  Codesniffer
passed #4972
codesniffer

00:00:29