Merge pull request #599 from simondeziel/ubuntu-20.04
php::globals: support Ubuntu 20.04 that ships php 7.4