Merge "localisation: Make PHP cache files slimmer"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Dec 2018 22:13:28 +0000 (22:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Dec 2018 22:13:28 +0000 (22:13 +0000)
commite00311a6df119106ef238980e1a3b44b0d0b23d9
treea630ec89cccc185b1b94673d6d0adcf3e3732eca
parent8a2f2abd3bf2b6a4f9e6e64bb44c427273331e97
parent1cb8f5bff84bff539f4af99750a065c79304e7c0
Merge "localisation: Make PHP cache files slimmer"