facebook/hhvm — pull request #2840 by yaslama (2014-06-03 08:32:19+00:00)
Title: Fix #2023

This fix is needed for https://drupal.org/node/2270509
See also #2708