[MediaWiki-commits] [Gerrit] Update hhvm dynamic extension path - change (translatewiki)

2014-08-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Update hhvm dynamic extension path .. Update hhvm dynamic extension path Change-Id: I2cd984b4355bb8b7a5bf8a5d856b8fe30b6e350a --- M puppet/modules/hhvm/fi

[MediaWiki-commits] [Gerrit] Update hhvm dynamic extension path - change (translatewiki)

2014-08-06 Thread Nikerabbit (Code Review)
Nikerabbit has uploaded a new change for review. https://gerrit.wikimedia.org/r/152032 Change subject: Update hhvm dynamic extension path .. Update hhvm dynamic extension path Change-Id: I2cd984b4355bb8b7a5bf8a5d856b8fe30b6e3