Merge "Revert "Hide HHVM tag on Special:{Contributions,RecentChanges,...}""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Apr 2015 20:08:31 +0000 (20:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Apr 2015 20:08:31 +0000 (20:08 +0000)
commit8b1a78fa5e62923d6dea1f9fe578c46b2910155e
treeff3fcb7a3fb56381b841887824b566c96162b0eb
parent31c4df57fd9744e4b535ad154eeaf8afc9623cd6
parent80df1e1b9aafcad46ffedfae2b3343af3f85d732
Merge "Revert "Hide HHVM tag on Special:{Contributions,RecentChanges,...}""
includes/ChangeTags.php