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 — 3.x ( dd9c65...609a1f )
by
unknown
13s queued 11s
created
Slim/Http/Uri.php 1 patch
Spacing   +7 added lines, -7 removed lines patch added patch discarded remove patch
@@ -183,23 +183,23 @@  discard block
 block discarded – undo
183 183
             $host = $matches[1];
184 184
 
185 185
             if (isset($matches[2])) {
186
-                $port = (int) substr($matches[2], 1);
186
+                $port = (int)substr($matches[2], 1);
187 187
             }
188 188
         } else {
189 189
             $pos = strpos($host, ':');
190 190
             if ($pos !== false) {
191
-                $port = (int) substr($host, $pos + 1);
191
+                $port = (int)substr($host, $pos + 1);
192 192
                 $host = strstr($host, ':', true);
193 193
             }
194 194
         }
195 195
 
196 196
         // Path
197
-        $requestScriptName = (string) parse_url($env->get('SCRIPT_NAME'), PHP_URL_PATH);
197
+        $requestScriptName = (string)parse_url($env->get('SCRIPT_NAME'), PHP_URL_PATH);
198 198
         $requestScriptDir = dirname($requestScriptName);
199 199
 
200 200
         // parse_url() requires a full URL. As we don't extract the domain name or scheme,
201 201
         // we use a stand-in.
202
-        $requestUri = (string) parse_url('http://example.com' . $env->get('REQUEST_URI'), PHP_URL_PATH);
202
+        $requestUri = (string)parse_url('http://example.com' . $env->get('REQUEST_URI'), PHP_URL_PATH);
203 203
 
204 204
         $basePath = '';
205 205
         $virtualPath = $requestUri;
@@ -393,7 +393,7 @@  discard block
 block discarded – undo
393 393
     {
394 394
         return preg_replace_callback(
395 395
             '/(?:[^a-zA-Z0-9_\-\.~!\$&\'\(\)\*\+,;=]+|%(?![A-Fa-f0-9]{2}))/u',
396
-            function ($match) {
396
+            function($match) {
397 397
                 return rawurlencode($match[0]);
398 398
             },
399 399
             $query
@@ -642,7 +642,7 @@  discard block
 block discarded – undo
642 642
     {
643 643
         return preg_replace_callback(
644 644
             '/(?:[^a-zA-Z0-9_\-\.~:@&=\+\$,\/;%]+|%(?![A-Fa-f0-9]{2}))/',
645
-            function ($match) {
645
+            function($match) {
646 646
                 return rawurlencode($match[0]);
647 647
             },
648 648
             $path
@@ -715,7 +715,7 @@  discard block
 block discarded – undo
715 715
     {
716 716
         return preg_replace_callback(
717 717
             '/(?:[^a-zA-Z0-9_\-\.~!\$&\'\(\)\*\+,;=%:@\/\?]+|%(?![A-Fa-f0-9]{2}))/',
718
-            function ($match) {
718
+            function($match) {
719 719
                 return rawurlencode($match[0]);
720 720
             },
721 721
             $query
Please login to merge, or discard this patch.