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 — master ( 8417e1...9afe37 )
by joseph
01:54
created
src/Markdown/LinksChecker.php 2 patches
Indentation   +8 added lines, -8 removed lines patch added patch discarded remove patch
@@ -175,14 +175,14 @@
 block discarded – undo
175 175
         #$start          = microtime(true);
176 176
         #fwrite(STDERR, "\n".'Validating link: '.$href);
177 177
         $context = stream_context_create([
178
-                                             'http' => [
179
-                                                 'method'           => 'HEAD',
180
-                                                 'protocol_version' => 1.1,
181
-                                                 'header'           => [
182
-                                                     'Connection: close',
183
-                                                 ],
184
-                                             ],
185
-                                         ]);
178
+                                                'http' => [
179
+                                                    'method'           => 'HEAD',
180
+                                                    'protocol_version' => 1.1,
181
+                                                    'header'           => [
182
+                                                        'Connection: close',
183
+                                                    ],
184
+                                                ],
185
+                                            ]);
186 186
         $result  = null;
187 187
         try {
188 188
             $headers = get_headers($href, 0, $context);
Please login to merge, or discard this patch.
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -122,7 +122,7 @@  discard block
 block discarded – undo
122 122
                 '',
123 123
                 \dirname($file)
124 124
             );
125
-            $start           .= '/'.\rtrim($relativeSubdirs, '/');
125
+            $start .= '/'.\rtrim($relativeSubdirs, '/');
126 126
         }
127 127
         $realpath = \realpath($start.'/'.$path);
128 128
         if (empty($realpath) || (!\file_exists($realpath) && !\is_dir($realpath))) {
@@ -183,7 +183,7 @@  discard block
 block discarded – undo
183 183
                                                  ],
184 184
                                              ],
185 185
                                          ]);
186
-        $result  = null;
186
+        $result = null;
187 187
         try {
188 188
             $headers = get_headers($href, 0, $context);
189 189
             foreach ($headers as $header) {
@@ -203,7 +203,7 @@  discard block
 block discarded – undo
203 203
             $href,
204 204
             var_export($result, true)
205 205
         );
206
-        $return   = 1;
206
+        $return = 1;
207 207
         #$time     = round(microtime(true) - $start, 2);
208 208
         #fwrite(STDERR, "\n".'Failed ('.$time.' seconds): '.$href);
209 209
     }
Please login to merge, or discard this patch.