Merge "Use wfIsHHVM() instead of a HipHop-specific environment variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Sep 2018 18:19:27 +0000 (18:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Sep 2018 18:19:27 +0000 (18:19 +0000)
commit91698e974c6fdc6113af09bd7a6e7c7352778ba3
tree4c0bc2cc569bb80a8d076faa8471473aaf7f6b63
parent62c6f40d73637c777a6bf14eaa4d1512e6663170
parent327f0f92fa095fdff349e925aa889802c093c0d0
Merge "Use wfIsHHVM() instead of a HipHop-specific environment variable"