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.
Completed
Push — 2.9 ( d0470f...9f8adb )
by Thorsten
12:13
created
phpmyfaq/admin/header.php 1 patch
Indentation   +17 added lines, -17 removed lines patch added patch discarded remove patch
@@ -1,22 +1,22 @@
 block discarded – undo
1 1
 <?php
2 2
 /**
3
- * Header of the admin area.
4
- *
5
- * PHP Version 5.5
6
- *
7
- * This Source Code Form is subject to the terms of the Mozilla Public License,
8
- * v. 2.0. If a copy of the MPL was not distributed with this file, You can
9
- * obtain one at http://mozilla.org/MPL/2.0/.
10
- *
11
- * @category  phpMyFAQ
12
- *
13
- * @author    Thorsten Rinne <[email protected]>
14
- * @copyright 2003-2016 phpMyFAQ Team
15
- * @license   http://www.mozilla.org/MPL/2.0/ Mozilla Public License Version 2.0
16
- *
17
- * @link      http://www.phpmyfaq.de
18
- * @since     2003-02-26
19
- */
3
+                     * Header of the admin area.
4
+                     *
5
+                     * PHP Version 5.5
6
+                     *
7
+                     * This Source Code Form is subject to the terms of the Mozilla Public License,
8
+                     * v. 2.0. If a copy of the MPL was not distributed with this file, You can
9
+                     * obtain one at http://mozilla.org/MPL/2.0/.
10
+                     *
11
+                     * @category  phpMyFAQ
12
+                     *
13
+                     * @author    Thorsten Rinne <[email protected]>
14
+                     * @copyright 2003-2016 phpMyFAQ Team
15
+                     * @license   http://www.mozilla.org/MPL/2.0/ Mozilla Public License Version 2.0
16
+                     *
17
+                     * @link      http://www.phpmyfaq.de
18
+                     * @since     2003-02-26
19
+                     */
20 20
 if (!defined('IS_VALID_PHPMYFAQ')) {
21 21
     $protocol = 'http';
22 22
     if (isset($_SERVER['HTTPS']) && strtoupper($_SERVER['HTTPS']) === 'ON') {
Please login to merge, or discard this patch.