Merge branch 'patch/removeDub' into 'master'

Remove dubes

See merge request !101
11 jobs for master in 2 minutes and 55 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #8375
lint:lint-php5.4

00:00:52

passed #8376
lint:lint-php5.6

00:00:56

passed #8377
lint:lint-php7.0

00:00:45

passed #8378
lint:lint-php7.1

00:00:55

passed #8379
lint:lint-php7.2

00:00:24

 
  Codesniffer
passed #8380
codesniffer

00:00:56

 
  Unit
passed #8381
unit:testBasic

00:00:45

passed #8384
unit:testPageProperty

00:00:48

passed #8382
unit:testRead

00:00:58

passed #8383
unit:testReadAssertFail

00:00:52

passed #8385
unit:testUserProperty

00:01:01