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 ( 487882...513f7c )
by François
13:06
created
src/OAuth2Client.php 1 patch
Doc Comments   +1 added lines, -3 removed lines patch added patch discarded remove patch
@@ -176,9 +176,6 @@  discard block
 block discarded – undo
176 176
     /**
177 177
      * Refresh the access token from the OAuth.
178 178
      *
179
-     * @param string $refreshToken the refresh token
180
-     * @param string $requestScope the scope associated with the previously
181
-     *                             obtained access token
182 179
      *
183 180
      * @return AccessToken
184 181
      */
@@ -220,6 +217,7 @@  discard block
 block discarded – undo
220 217
     /**
221 218
      * Validate the provided URI to see if it has the right format, it is
222 219
      * provided by the API consumer.
220
+     * @param string $requestUri
223 221
      */
224 222
     private static function parseRequestUri($requestUri)
225 223
     {
Please login to merge, or discard this patch.
src/Http/CurlHttpClient.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -78,7 +78,7 @@
 block discarded – undo
78 78
             CURLOPT_RETURNTRANSFER => true,
79 79
             CURLOPT_FOLLOWLOCATION => false,
80 80
             CURLOPT_PROTOCOLS => $this->httpsOnly ? CURLPROTO_HTTPS : CURLPROTO_HTTPS | CURLPROTO_HTTP,
81
-            CURLOPT_HEADERFUNCTION => function ($curlChannel, $headerData) use (&$headerList) {
81
+            CURLOPT_HEADERFUNCTION => function($curlChannel, $headerData) use (&$headerList) {
82 82
                 // XXX is this secure? mb_strlen?
83 83
                 if (false !== strpos($headerData, ':')) {
84 84
                     list($key, $value) = explode(':', $headerData, 2);
Please login to merge, or discard this patch.
example/callback.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -45,7 +45,7 @@
 block discarded – undo
45 45
     $client->setUserId($userId);
46 46
     $client->handleCallback(
47 47
         $_SESSION['session'], // URI from session
48
-        $_GET['code'],        // the code value (e.g. 12345)
48
+        $_GET['code'], // the code value (e.g. 12345)
49 49
         $_GET['state']        // the state value (e.g. abcde)
50 50
     );
51 51
 
Please login to merge, or discard this patch.