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 = 7-7 lines in 2 locations

core/Pimf/Util/Character.php 2 locations

@@ 114-120 (lines=7) @@
111
     *
112
     * @return string
113
     */
114
    public static function deleteTrailing($needle, $haystack)
115
    {
116
        $pattern = '#(' . self::pregQuote($needle, '#') . ')+$#';
117
        $result = preg_replace($pattern, '', $haystack);
118
119
        return $result;
120
    }
121
122
    /**
123
     * Delete leading characters.
@@ 135-141 (lines=7) @@
132
     *
133
     * @return string
134
     */
135
    public static function deleteLeading($needle, $haystack)
136
    {
137
        $pattern = '#^(' . self::pregQuote($needle, '#') . ')+#';
138
        $result = preg_replace($pattern, '', $haystack);
139
140
        return $result;
141
    }
142
143
    /**
144
     * Wrapper for preg_quote supporting strings and array of strings.