From: Tom Hughes <tom@compton.nu>
Date: Thu, 28 Jun 2018 09:54:41 +0000 (+0100)
Subject: Use PHP 7.2 for mediawiki everywhere
X-Git-Url: https://git.openstreetmap.org/chef.git/commitdiff_plain/5c64c57e2357a3c48a06d3bcc378de3238d59128?hp=5c64c57e2357a3c48a06d3bcc378de3238d59128

Use PHP 7.2 for mediawiki everywhere
---