From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Thu, 5 Nov 2015 18:57:48 +0000 (+0000)
Subject: Merge "Fix name of PoolCounter callback in thumb.php"
X-Git-Tag: 1.31.0-rc.0~9089
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=16a00d3a325c5b6414048d22420f3e15d6183de5;p=lhc%2Fweb%2Fwiklou.git

Merge "Fix name of PoolCounter callback in thumb.php"
---

16a00d3a325c5b6414048d22420f3e15d6183de5