Skip to content

PHP 7.2/New Functions: add spl_object_id()#565

Merged
wimg merged 1 commit intomasterfrom
php7.2/add-spl-object-id-function
Dec 25, 2017
Merged

PHP 7.2/New Functions: add spl_object_id()#565
wimg merged 1 commit intomasterfrom
php7.2/add-spl-object-id-function

Conversation

@jrfnl
Copy link
Copy Markdown
Member

@jrfnl jrfnl commented Dec 24, 2017

Refs:

Note: other than in the changelog, this function is currently undocumented and not yet mentioned in the manual!
The missing documentation has been reported: https://bugs.php.net/bug.php?id=75723

Refs:
* http://php.net/manual/en/migration72.new-functions.php#migration72.new-functions.spl
* php/php-src@5097e2e

Note: other than in the changelog, this function is currently undocumented and not yet mentioned in the manual!
The missing documentation has been reported: https://bugs.php.net/bug.php?id=75723
@jrfnl jrfnl added this to the 8.1.0 milestone Dec 24, 2017
@jrfnl jrfnl requested a review from wimg December 24, 2017 15:32
@wimg wimg merged commit 6840431 into master Dec 25, 2017
@wimg wimg deleted the php7.2/add-spl-object-id-function branch December 25, 2017 21:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants