facebook/hhvm — pull request #3315 by reeze (2014-07-30 17:04:30+00:00)
Title: Fixed PHP5 incompatibility with isset() on ArrayObjects

Closes #3309