facebook/hhvm — pull request #2970 by whatthejeff (2014-06-18 03:32:39+00:00)
Title: Fix PHP_EXTRA_VERSION.

This is a continuation of #2943.