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

@@ 141-155 (lines=15) @@
138
     * @return Configuration
139
     * @throws Exception
140
     */
141
    public function setOptions(array $options)
142
    {
143
        self::guardOptionValidity($options);
144
145
        foreach ($options as $option => $value) {
146
            if ($option === self::OPT_IP_POOL) {
147
                $this->options[$option] = (string) $value;
148
                continue;
149
            }
150
151
            $this->options[$option] = (bool) $value;
152
        }
153
154
        return $this;
155
    }
156
}
157

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