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

install/lib/InstallerPage.php 1 location

@@ 208-227 (lines=20) @@
205
        $this->Form->appendChild($Submit);
206
    }
207
208
    protected function viewFailure()
209
    {
210
        $h2 = new XMLElement('h2', __('Installation Failure'));
211
        $p = new XMLElement('p', __('An error occurred during installation.'));
212
213
        // Attempt to get log information from the log file
214
        try {
215
            $log = file_get_contents(INSTALL_LOGS . '/install');
216
        } catch (Exception $ex) {
217
            $log = (string)$ex;
218
        }
219
220
        $code = new XMLElement('code', $log);
221
222
        $this->Form->appendChild($h2);
223
        $this->Form->appendChild($p);
224
        $this->Form->appendChild(
225
            new XMLElement('pre', $code)
226
        );
227
    }
228
229
    protected function viewSuccess()
230
    {

install/lib/UpdaterPage.php 1 location

@@ 101-120 (lines=20) @@
98
        $this->Form->appendChild($submit);
99
    }
100
101
    protected function viewFailure()
102
    {
103
        $h2 = new XMLElement('h2', __('Updating Failure'));
104
        $p = new XMLElement('p', __('An error occurred while updating Symphony.'));
105
106
        // Attempt to get update information from the log fileƘ
107
        try {
108
            $log = file_get_contents(INSTALL_LOGS . '/update');
109
        } catch (Exception $ex) {
110
            $log = (string)$ex;
111
        }
112
113
        $code = new XMLElement('code', $log);
114
115
        $this->Form->appendChild($h2);
116
        $this->Form->appendChild($p);
117
        $this->Form->appendChild(
118
            new XMLElement('pre', $code)
119
        );
120
    }
121
122
    protected function viewSuccess()
123
    {