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 ( 924952...661904 )
by François
02:04
created
src/Controller.php 1 patch
Doc Comments   -4 removed lines patch added patch discarded remove patch
@@ -34,10 +34,6 @@
 block discarded – undo
34 34
     private $auth = [];
35 35
 
36 36
     /**
37
-     * @param string $configFile
38
-     * @param string $storageRoot
39
-     * @param string $dbDsn
40
-     * @param array  $templateFolders
41 37
      */
42 38
     public function __construct($appDir, SessionInterface $session, RandomInterface $random, DateTime $dateTime)
43 39
     {
Please login to merge, or discard this patch.
src/OAuth/OAuthModule.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -42,7 +42,7 @@  discard block
 block discarded – undo
42 42
     private $dateTime;
43 43
 
44 44
     /** @var int */
45
-    private $expiresIn = 7776000;   /* 90 days */
45
+    private $expiresIn = 7776000; /* 90 days */
46 46
 
47 47
     public function __construct(TplInterface $tpl, TokenStorage $tokenStorage, RandomInterface $random, DateTime $dateTime)
48 48
     {
@@ -165,7 +165,7 @@  discard block
 block discarded – undo
165 165
 
166 166
         // XXX we also should enforce HTTPS
167 167
         $redirectUri = $request->getQueryParameter('redirect_uri');
168
-        if (false === filter_var($redirectUri, FILTER_VALIDATE_URL, FILTER_FLAG_SCHEME_REQUIRED | FILTER_FLAG_HOST_REQUIRED | FILTER_FLAG_PATH_REQUIRED)) {
168
+        if (false === filter_var($redirectUri, FILTER_VALIDATE_URL, FILTER_FLAG_SCHEME_REQUIRED|FILTER_FLAG_HOST_REQUIRED|FILTER_FLAG_PATH_REQUIRED)) {
169 169
             throw new HttpException('invalid redirect_uri', 400);
170 170
         }
171 171
         if (false !== strpos($redirectUri, '?')) {
Please login to merge, or discard this patch.