[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add workaround for HHVM issue 6206

2017-05-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/354557 ) Change subject: Add workaround for HHVM issue 6206 .. Add workaround for HHVM issue 6206 Just use the actual global on HHVM, li

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add workaround for HHVM issue 6206

2017-05-19 Thread Hoo man (Code Review)
Hoo man has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/354557 ) Change subject: Add workaround for HHVM issue 6206 .. Add workaround for HHVM issue 6206 Just use the actual global on HHVM, like we do on