Scrutinizer GitHub App not installed

We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.

Install GitHub App

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.
Passed
Pull Request — master (#901)
by
unknown
19:00 queued 11:27
created
Classes/Controller/CalendarController.php 2 patches
Spacing   +9 added lines, -9 removed lines patch added patch discarded remove patch
@@ -127,7 +127,7 @@  discard block
 block discarded – undo
127 127
                 foreach ($year['children'] as $month) {
128 128
                     foreach ($month['children'] as $day) {
129 129
                         foreach ($day['children'] as $issue) {
130
-                            $title = $issue['label'] ?: $issue['orderlabel'];
130
+                            $title = $issue['label'] ? : $issue['orderlabel'];
131 131
                             if (strtotime($title) !== false) {
132 132
                                 $title = strftime('%x', strtotime($title));
133 133
                             }
@@ -218,8 +218,8 @@  discard block
 block discarded – undo
218 218
         $this->view->assign('calendarData', $calendarData);
219 219
         $this->view->assign('documentId', $this->document->getUid());
220 220
         $this->view->assign('yearLinkTitle', $yearLinkTitle);
221
-        $this->view->assign('parentDocumentId', $this->document->getPartof() ?: $this->document->getDoc()->tableOfContents[0]['points']);
222
-        $this->view->assign('allYearDocTitle', $this->document->getDoc()->getTitle($this->document->getPartof()) ?: $this->document->getDoc()->tableOfContents[0]['label']);
221
+        $this->view->assign('parentDocumentId', $this->document->getPartof() ? : $this->document->getDoc()->tableOfContents[0]['points']);
222
+        $this->view->assign('allYearDocTitle', $this->document->getDoc()->getTitle($this->document->getPartof()) ? : $this->document->getDoc()->tableOfContents[0]['label']);
223 223
     }
224 224
 
225 225
     /**
@@ -255,7 +255,7 @@  discard block
 block discarded – undo
255 255
 
256 256
                 if (empty($yearLabel)) {
257 257
                     // if neither order nor orderlabel is set, use the id...
258
-                    $yearLabel = (string)$id;
258
+                    $yearLabel = (string) $id;
259 259
                 }
260 260
 
261 261
                 $years[] = [
@@ -282,21 +282,21 @@  discard block
 block discarded – undo
282 282
                 ];
283 283
             }
284 284
             // create an array that includes years without issues
285
-            if (!empty($this->settings['showEmptyYears'])){
285
+            if (!empty($this->settings['showEmptyYears'])) {
286 286
                 $yearFilled = [];
287 287
                 $min = $yearArray[0]['title'];
288 288
                 // round the starting decade down to zero for equal rows
289
-                $min = substr_replace($min,"0",-1);
289
+                $min = substr_replace($min, "0", -1);
290 290
                 $max = $yearArray[count($yearArray) - 1]['title'];
291 291
                 // if we have an actual documentId it should be used, otherwise leave empty
292
-                for($i = 0; $i < $max-$min+1; $i++) {
293
-                    $key = array_search($min+$i,array_column($yearArray, 'title'));
292
+                for ($i = 0; $i < $max - $min + 1; $i++) {
293
+                    $key = array_search($min + $i, array_column($yearArray, 'title'));
294 294
                     if (is_int($key))
295 295
                     {
296 296
                         $yearFilled[] = $yearArray[$key];
297 297
                     }
298 298
                     else {
299
-                        $yearFilled[] = ['title' => $min+$i, 'documentId' => ''];
299
+                        $yearFilled[] = ['title' => $min + $i, 'documentId' => ''];
300 300
                     }
301 301
                 }
302 302
                 $yearArray = $yearFilled;
Please login to merge, or discard this patch.
Braces   +3 added lines, -5 removed lines patch added patch discarded remove patch
@@ -282,7 +282,7 @@  discard block
 block discarded – undo
282 282
                 ];
283 283
             }
284 284
             // create an array that includes years without issues
285
-            if (!empty($this->settings['showEmptyYears'])){
285
+            if (!empty($this->settings['showEmptyYears'])) {
286 286
                 $yearFilled = [];
287 287
                 $min = $yearArray[0]['title'];
288 288
                 // round the starting decade down to zero for equal rows
@@ -291,11 +291,9 @@  discard block
 block discarded – undo
291 291
                 // if we have an actual documentId it should be used, otherwise leave empty
292 292
                 for($i = 0; $i < $max-$min+1; $i++) {
293 293
                     $key = array_search($min+$i,array_column($yearArray, 'title'));
294
-                    if (is_int($key))
295
-                    {
294
+                    if (is_int($key)) {
296 295
                         $yearFilled[] = $yearArray[$key];
297
-                    }
298
-                    else {
296
+                    } else {
299 297
                         $yearFilled[] = ['title' => $min+$i, 'documentId' => ''];
300 298
                     }
301 299
                 }
Please login to merge, or discard this patch.