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

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