Merge branch 'php7.1' into 'master'

Add PHP7.1 for tests

See merge request !10
5 jobs for master in 1 minute and 27 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
passed #2991
lint:lint-php5.4

00:00:51

passed #2992
lint:lint-php5.6

00:00:53

passed #2993
lint:lint-php7.0

00:00:50

passed #2994
lint:lint-php7.1

00:00:51

 
  Codesniffer
passed #2995
codesniffer

00:00:33