updates needed for php7.2#6

fabean wants to merge 1 commit intomasterCodeKoalas/docker-drupal8:masterfrom

php7.2CodeKoalas/docker-drupal8:php7.2Copy head branch name to clipboard