Use PHP 7.2 for mediawiki everywhere
[chef.git] / cookbooks / mediawiki / recipes /
drwxr-xr-x   ..
-rw-r--r-- 1909 default.rb