Use PHP 7.2 for Nominatim on 18.04
[chef.git] / test / integration / mysql /
drwxr-xr-x   ..
drwxr-xr-x - serverspec