Doc #78130 [Opn->Csd]: No version information for SplPriorityQueue::isCorrupted

From: 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

« previous php.doc.bugs (#17315) next »