php/php-src — pull request #384 by vlajos (2013-07-14 21:34:50+00:00)
Title: HASH_KEY_NON_EXISTANT fix

referencing to this PR: https://github.com/php/php-src/pull/383
this request contains the HASH_KEY_NON_EXISTANT constant name fix