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

src/Configuration.php 1 location

@@ 147-161 (lines=15) @@
144
     * @return Configuration
145
     * @throws Exception
146
     */
147
    public function setOptions(array $options)
148
    {
149
        self::guardOptionValidity($options);
150
151
        foreach ($options as $option => $value) {
152
            if ($option === self::OPT_IP_POOL) {
153
                $this->options[$option] = (string) $value;
154
                continue;
155
            }
156
157
            $this->options[$option] = (bool) $value;
158
        }
159
160
        return $this;
161
    }
162
163
    /**
164
     * @return float

src/Message.php 1 location

@@ 212-226 (lines=15) @@
209
     *
210
     * @return Message
211
     */
212
    public function setOptions(array $options)
213
    {
214
        Configuration::guardOptionValidity($options);
215
216
        foreach ($options as $option => $value) {
217
            if ($option === Configuration::OPT_IP_POOL) {
218
                $this->options[$option] = (string) $value;
219
                continue;
220
            }
221
222
            $this->options[$option] = (bool) $value;
223
        }
224
225
        return $this;
226
    }
227
228
    /**
229
     * @param array $tags