Merge branch 'jkuchar1-master-patch-35695' into 'master'

Fixed error found by PHPStan 0.12

See merge request !16
7 jobs for master in 8 minutes and 19 seconds
Status Job ID Name Coverage
  Build
passed #175349
build.composer

00:04:17

passed #175348
build.composer.dev

00:04:17

 
  Test
passed #175350
test.php-syntax-check

00:00:47

passed #175351
test.phpstan

00:00:34

passed #175352
test.tests.php71

00:00:42

passed #175353
test.tests.php71.oldDeps

00:04:00

passed #175354
test.tests.php72

00:00:39