Merge "Hide HHVM tag on Special:{Contributions,RecentChanges,...}"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Nov 2014 18:15:37 +0000 (18:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Nov 2014 18:15:37 +0000 (18:15 +0000)
commitad411658aeb451b09ae721e30511982f6b0c392f
treeb36ea77f6e27943b2254538d85b5e15615cdcc0e
parentc5dbe7cf67a9b78a273b81ee61845443210944f4
parent494989772cfce8805a10c2cd497880f6f6793896
Merge "Hide HHVM tag on Special:{Contributions,RecentChanges,...}"