Fix DBCore

Issue in DBCore
11 jobs for 95-fix-error-in-dbcore in 2 minutes and 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #8521
lint:lint-php5.4

00:00:41

passed #8522
lint:lint-php5.6

00:00:53

passed #8523
lint:lint-php7.0

00:00:48

passed #8524
lint:lint-php7.1

00:00:49

passed #8525
lint:lint-php7.2

00:00:25

 
  Codesniffer
passed #8526
allowed to fail
codesniffer

00:00:42

 
  Unit
passed #8527
unit:testBasic

00:00:43

passed #8530
unit:testPageProperty

00:00:54

passed #8528
unit:testRead

00:00:55

passed #8529
unit:testReadAssertFail

00:00:49

passed #8531
unit:testUserProperty

00:00:45