Using an integer is faster and more memory-efficient than creating a 32-byte
string hash.
`runkit7_object_id` is one way to polyfill PHP 7.2+ `spl_object_id`
in older PHP 7 versions and continues to exist in the PECL.
Closes GH-1198.
We do not xi:include core INI settings, since we want to keep
alphabetic sort order (well, roughly at least).
We do add xi:fallback elements to all xi:includes, just in case.
This commit removes following extensions as they appear to not provide
support for PHP 7.0.
Patch contributed by Sobak <msobaczewski@gmail.com>.
git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@350644 c90b9560-bf6c-de11-be94-00142212c4b1