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 ( fa660a...0fc3b2 )
by François
12:36 queued 08:27
created
src/fkooman/RemoteStorage/RemoteStorageService.php 1 patch
Spacing   +10 added lines, -10 removed lines patch added patch discarded remove patch
@@ -66,7 +66,7 @@  discard block
 block discarded – undo
66 66
 
67 67
         $this->get(
68 68
             '/_account',
69
-            function (Request $request, UserInfoInterface $userInfo) {
69
+            function(Request $request, UserInfoInterface $userInfo) {
70 70
                 $approvalList = $this->approvalManagementStorage->getApprovalList($userInfo->getUserId());
71 71
 
72 72
                 return $this->templateManager->render(
@@ -90,7 +90,7 @@  discard block
 block discarded – undo
90 90
 
91 91
         $this->delete(
92 92
             '/_approvals',
93
-            function (Request $request, UserInfoInterface $userInfo) {
93
+            function(Request $request, UserInfoInterface $userInfo) {
94 94
                 $deleteApprovalRequest = RequestValidation::validateDeleteApprovalRequest($request);
95 95
 
96 96
                 $approval = new Approval(
@@ -112,7 +112,7 @@  discard block
 block discarded – undo
112 112
 
113 113
         $this->get(
114 114
             '/.well-known/webfinger',
115
-            function (Request $request) {
115
+            function(Request $request) {
116 116
                 $resource = $request->getUrl()->getQueryParameter('resource');
117 117
                 if (null === $resource) {
118 118
                     throw new BadRequestException('resource parameter missing');
@@ -171,7 +171,7 @@  discard block
 block discarded – undo
171 171
 
172 172
         $this->get(
173 173
             '/',
174
-            function (Request $request, UserInfoInterface $userInfo = null) {
174
+            function(Request $request, UserInfoInterface $userInfo = null) {
175 175
                 return $this->templateManager->render(
176 176
                     'indexPage',
177 177
                     array(
@@ -191,7 +191,7 @@  discard block
 block discarded – undo
191 191
         $this->addRoute(
192 192
             ['GET', 'HEAD'],
193 193
             '*',
194
-            function (Request $request, TokenInfo $tokenInfo = null) {
194
+            function(Request $request, TokenInfo $tokenInfo = null) {
195 195
                 $response = $this->getObject($request, $tokenInfo);
196 196
                 $this->addNoCache($response);
197 197
                 $this->addCors($response);
@@ -209,7 +209,7 @@  discard block
 block discarded – undo
209 209
         // put a document
210 210
         $this->put(
211 211
             '*',
212
-            function (Request $request, TokenInfo $tokenInfo) {
212
+            function(Request $request, TokenInfo $tokenInfo) {
213 213
                 $response = $this->putDocument($request, $tokenInfo);
214 214
                 $this->addCors($response);
215 215
 
@@ -228,7 +228,7 @@  discard block
 block discarded – undo
228 228
         // delete a document
229 229
         $this->delete(
230 230
             '*',
231
-            function (Request $request, TokenInfo $tokenInfo) {
231
+            function(Request $request, TokenInfo $tokenInfo) {
232 232
                 $response = $this->deleteDocument($request, $tokenInfo);
233 233
                 $this->addCors($response);
234 234
 
@@ -247,7 +247,7 @@  discard block
 block discarded – undo
247 247
         // options request
248 248
         $this->options(
249 249
             '*',
250
-            function (Request $request) {
250
+            function(Request $request) {
251 251
                 $response = new Response();
252 252
                 $response->setHeader(
253 253
                     'Access-Control-Allow-Methods',
@@ -586,7 +586,7 @@  discard block
 block discarded – undo
586 586
         return $response;
587 587
     }
588 588
 
589
-    private function addCors(Response &$response)
589
+    private function addCors(Response&$response)
590 590
     {
591 591
         $response->setHeader('Access-Control-Allow-Origin', '*');
592 592
         $response->setHeader(
@@ -595,7 +595,7 @@  discard block
 block discarded – undo
595 595
         );
596 596
     }
597 597
 
598
-    private function addNoCache(Response &$response)
598
+    private function addNoCache(Response&$response)
599 599
     {
600 600
         $response->setHeader('Expires', 0);
601 601
         $response->setHeader('Cache-Control', 'no-cache');
Please login to merge, or discard this patch.