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 ( ff7588...b8ffb8 )
by Thorsten
31:27 queued 09:56
created
phpmyfaq/admin/record.edit.php 1 patch
Indentation   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -546,7 +546,7 @@  discard block
 block discarded – undo
546 546
                         <div id="collapseViewChangelog" class="panel-collapse collapse">
547 547
                             <div class="panel-body">
548 548
                                 <?php
549
-								$currentUserId = $user->getUserId();
549
+                                $currentUserId = $user->getUserId();
550 550
                                 foreach ($faq->getChangeEntries($faqData['id']) as $entry) {
551 551
                                     $user->getUserById($entry['user']);
552 552
                                     ?>
@@ -565,9 +565,9 @@  discard block
 block discarded – undo
565 565
                                         <?php echo $entry['changelog'] ?>
566 566
                                     </p>
567 567
                                 <?php 
568
-								} 
569
-								$user->getUserById($currentUserId);
570
-								?>
568
+                                } 
569
+                                $user->getUserById($currentUserId);
570
+                                ?>
571 571
                             </div>
572 572
                         </div>
573 573
                     </div>
Please login to merge, or discard this patch.