Bug fix

4 jobs for master in 1 minute and 40 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #50510
php-7.2

00:01:40

passed #50511
php-7.3

00:01:33

passed #50512
php-7.4

00:01:34

passed #50513
php-8.0

00:01:34