array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'zh', ), 'this' => array ( 0 => 'splpriorityqueue.iscorrupted.php', 1 => 'SplPriorityQueue::isCorrupted', 2 => 'Tells if the priority queue is in a corrupted state', ), 'up' => array ( 0 => 'class.splpriorityqueue.php', 1 => 'SplPriorityQueue', ), 'prev' => array ( 0 => 'splpriorityqueue.insert.php', 1 => 'SplPriorityQueue::insert', ), 'next' => array ( 0 => 'splpriorityqueue.isempty.php', 1 => 'SplPriorityQueue::isEmpty', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/spl/splpriorityqueue/iscorrupted.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>