GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 10-14 lines in 2 locations

src/Cursor.php 2 locations

@@ 725-734 (lines=10) @@
722
     * @param callable $handler
723
     * @return array
724
     */
725
    public function map($handler)
726
    {
727
        $result = array();
728
729
        foreach ($this as $id => $document) {
730
            $result[$id] = $handler($document);
731
        }
732
733
        return $result;
734
    }
735
736
    /**
737
     * Filter documents in cursor by condition in callable
@@ 742-755 (lines=14) @@
739
     * @param callable $handler
740
     * @return array
741
     */
742
    public function filter($handler)
743
    {
744
        $result = array();
745
746
        foreach ($this as $id => $document) {
747
            if (!$handler($document)) {
748
                continue;
749
            }
750
751
            $result[$id] = $document;
752
        }
753
754
        return $result;
755
    }
756
757
    /**
758
     * Get result set of documents.