Doc #78130 [Opn->Csd]: No version information for SplPriorityQueue::isCorrupted
| From: | phpdocbot@php.net | Date: | Sun, 16 Feb 2020 22:30:17 +0000 |
| Subject: | Doc #78130 [Opn->Csd]: No version information for SplPriorityQueue::isCorrupted | ||
| References: | 1 | Groups: | php.doc.bugs |
| Request: | Send a blank email to doc-bugs+get-17315@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=78130&edit=1
ID: 78130
Updated by: phpdocbot@php.net
Reported by: girgias@php.net
Summary: No version information for
SplPriorityQueue::isCorrupted
-Status: Open
+Status: Closed
Type: Documentation Problem
Package: SPL related
PHP Version: Irrelevant
Block user comment: N
Private report: N
New Comment:
Automatic comment on behalf of cmb
Revision: http://git.php.net/?p=doc/en.git;a=commit;h=4998e7c97b7635695db4b58a7e28160060005a3f
Log: Fix #78130: Add SplPriorityQueue::isCorrupted version
Previous Comments:
------------------------------------------------------------------------
[2020-02-16 22:20:40] cmb@php.net
Automatic comment from SVN on behalf of cmb
Revision: http://svn.php.net/viewvc/?view=revision&revision=349233
Log: Fix #78130: Add SplPriorityQueue::isCorrupted version
Introduced via http://git.php.net/?p=php-src.git;a=commit;h=c54045a1f949,
documented via http://svn.php.net/viewvc?view=revision&revision=343928
but
never added to
versions.xml
Patch provided by Gabriel Caruso.
------------------------------------------------------------------------
[2020-02-16 17:57:40] carusogabriel@php.net
The following pull request has been associated:
Patch Name: Fix #78130: Add SplPriorityQueue::isCorrupted version
On GitHub: https://github.com/php/doc-en/pull/45
Patch: https://github.com/php/doc-en/pull/45.patch
------------------------------------------------------------------------
[2019-06-08 14:56:03] girgias@php.net
Description:
------------
---
From manual page: https://php.net/splpriorityqueue.iscorrupted
---
No version information for SplPriorityQueue::isCorrupted
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=78130&edit=1