Merge branch 'missingURV' into 'master'

Missing urv

See merge request !45
5 jobs for higherURV in 51 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #19757
lint:lint-php5.6

00:00:51

passed #19758
lint:lint-php7.0

00:00:21

passed #19759
lint:lint-php7.1

00:00:21

passed #19760
lint:lint-php7.2

00:00:51

passed #19761
lint:lint-php7.3

00:00:21