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

@@ 699-708 (lines=10) @@
696
     * @param callable $handler
697
     * @return array
698
     */
699
    public function map($handler)
700
    {
701
        $result = array();
702
703
        foreach ($this as $id => $document) {
704
            $result[$id] = $handler($document);
705
        }
706
707
        return $result;
708
    }
709
710
    /**
711
     * Filter documents in cursor by condition in callable
@@ 716-729 (lines=14) @@
713
     * @param callable $handler
714
     * @return array
715
     */
716
    public function filter($handler)
717
    {
718
        $result = array();
719
720
        foreach ($this as $id => $document) {
721
            if (!$handler($document)) {
722
                continue;
723
            }
724
725
            $result[$id] = $document;
726
        }
727
728
        return $result;
729
    }
730
731
    /**
732
     * Get result set of documents.