[MediaWiki-commits] [Gerrit] Switch travis to use hhvm instead of hhvm-nightly - change (mediawiki...Wikibase)

2015-05-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Switch travis to use hhvm instead of hhvm-nightly .. Switch travis to use hhvm instead of hhvm-nightly hhvm-nightly is no longer supported: https://githu

[MediaWiki-commits] [Gerrit] Switch travis to use hhvm instead of hhvm-nightly - change (mediawiki...Wikibase)

2015-05-13 Thread Aude (Code Review)
Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/210674 Change subject: Switch travis to use hhvm instead of hhvm-nightly .. Switch travis to use hhvm instead of hhvm-nightly hhvm-nightly is no longer

[MediaWiki-commits] [Gerrit] Switch travis to use hhvm instead of hhvm-nightly - change (mediawiki...Wikibase)

2015-05-01 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has submitted this change and it was merged. Change subject: Switch travis to use hhvm instead of hhvm-nightly .. Switch travis to use hhvm instead of hhvm-nightly hhvm-nightly is no longer supported: https://gi

[MediaWiki-commits] [Gerrit] Switch travis to use hhvm instead of hhvm-nightly - change (mediawiki...Wikibase)

2015-04-30 Thread Aude (Code Review)
Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/207975 Change subject: Switch travis to use hhvm instead of hhvm-nightly .. Switch travis to use hhvm instead of hhvm-nightly hhvm-nightly is no longer