[MediaWiki-commits] [Gerrit] Revert "Hide HHVM tag on Special:{Contributions, RecentChange... - change (mediawiki/core)

2015-04-07 Thread jenkins-bot (Code Review)
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

[MediaWiki-commits] [Gerrit] Revert "Hide HHVM tag on Special:{Contributions, RecentChange... - change (mediawiki/core)

2015-04-07 Thread Legoktm (Code Review)
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

[MediaWiki-commits] [Gerrit] Revert "Hide HHVM tag on Special:{Contributions, RecentChange... - change (mediawiki/core)

2014-11-10 Thread Chad (Code Review)
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