php/php-langspec — pull request #74 by TazeTSchnitzel (2014-09-14 19:57:43+00:00)
Title: Added PHP_INT_MIN

Since this has been added to PHP master, it should be added to the language specification master: https://github.com/php/php-src/pull/755