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 ( 57fd3f...74adc5 )
by Thorsten
14s
created
phpmyfaq/inc/PMF/Search/Resultset.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -124,7 +124,7 @@  discard block
 block discarded – undo
124 124
             if ('medium' === $this->_config->get('security.permLevel')) {
125 125
                 $groupPermissions = $this->faq->getPermission('group', $result->id);
126 126
                 if (is_array($groupPermissions)) {
127
-                    foreach($groupPermissions as $groupPermission) {
127
+                    foreach ($groupPermissions as $groupPermission) {
128 128
                         if (in_array($groupPermission, $currentGroupIds)) {
129 129
                             $permission = true;
130 130
                         }
@@ -222,6 +222,6 @@  discard block
 block discarded – undo
222 222
             $score += $object->relevance_keywords;
223 223
         }
224 224
 
225
-        return round($score / 3 * 100);
225
+        return round($score/3*100);
226 226
     }
227 227
 }
Please login to merge, or discard this patch.