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 ( 421504...75ebe1 )
by Thorsten
13:35
created
phpmyfaq/admin/footer.php 1 patch
Braces   +5 added lines, -2 removed lines patch added patch discarded remove patch
@@ -169,12 +169,15 @@
 block discarded – undo
169 169
             action: 'ajax',
170 170
             ajax: 'recordAdd'
171 171
         };
172
-        <?php else: ?>
172
+        <?php else {
173
+    : ?>
173 174
         var data = {
174 175
             action: 'ajax',
175 176
             ajax: 'recordSave'
176 177
         };
177
-        <?php endif; ?>
178
+        <?php endif;
179
+}
180
+?>
178 181
 
179 182
         $.each($('#faqEditor').serializeArray(), function(i, field) {
180 183
             data[field.name] = field.value;
Please login to merge, or discard this patch.