jenkins-bot has submitted this change and it was merged.
Change subject: Revert "Hide HHVM tag on
Special:{Contributions,RecentChanges,...}"
..
Revert "Hide HHVM tag on Special:{Contributions,RecentChanges,...}"
This reverts c
Legoktm has uploaded a new change for review.
https://gerrit.wikimedia.org/r/202460
Change subject: Revert "Hide HHVM tag on
Special:{Contributions,RecentChanges,...}"
..
Revert "Hide HHVM tag on Special:{Contributions,Recent
Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/172296
Change subject: Revert "Hide HHVM tag on
Special:{Contributions,RecentChanges,...}"
..
Revert "Hide HHVM tag on Special:{Contributions,RecentCha