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

@@ 740-749 (lines=10) @@
737
     * @param callable $handler
738
     * @return array
739
     */
740
    public function map($handler)
741
    {
742
        $result = array();
743
744
        foreach ($this as $id => $document) {
745
            $result[$id] = $handler($document);
746
        }
747
748
        return $result;
749
    }
750
751
    /**
752
     * Filter documents in cursor by condition in callable
@@ 757-770 (lines=14) @@
754
     * @param callable $handler
755
     * @return array
756
     */
757
    public function filter($handler)
758
    {
759
        $result = array();
760
761
        foreach ($this as $id => $document) {
762
            if (!$handler($document)) {
763
                continue;
764
            }
765
766
            $result[$id] = $document;
767
        }
768
769
        return $result;
770
    }
771
772
    /**
773
     * Get result set of documents.