Merge "thumb.php now handles short and long thumbnail name formats when possible."
authorCatrope <roan.kattouw@gmail.com>
Thu, 6 Sep 2012 17:42:29 +0000 (17:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Sep 2012 17:42:29 +0000 (17:42 +0000)

Trivial merge