We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.
@@ -127,7 +127,7 @@ discard block  | 
                                                    ||
| 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  | 
                                                    ||
| 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  | 
                                                    ||
| 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  | 
                                                    ||
| 282 | 282 | ];  | 
                                                        
| 283 | 283 | }  | 
                                                        
| 284 | 284 | // create an array that includes years without issues  | 
                                                        
| 285 | -            if($this->settings['showEmptyYears']){ | 
                                                        |
| 285 | +            if ($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;  | 
                                                        
@@ -282,7 +282,7 @@ discard block  | 
                                                    ||
| 282 | 282 | ];  | 
                                                        
| 283 | 283 | }  | 
                                                        
| 284 | 284 | // create an array that includes years without issues  | 
                                                        
| 285 | -            if($this->settings['showEmptyYears']){ | 
                                                        |
| 285 | +            if($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  | 
                                                    ||
| 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 | }  |