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
Pull Request — integration (#2604)
by Brendan
05:01
created
install/lib/Installer.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -72,7 +72,7 @@
 block discarded – undo
72 72
          * Overrides the default `initialiseLog()` method and writes
73 73
          * logs to manifest/logs/install
74 74
          *
75
-         * @param null $filename
75
+         * @param string $filename
76 76
          * @return boolean|void
77 77
          * @throws Exception
78 78
          */
Please login to merge, or discard this patch.
install/lib/InstallerPage.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch
@@ -423,6 +423,9 @@
 block discarded – undo
423 423
             $this->Form->appendChild($Submit);
424 424
         }
425 425
 
426
+        /**
427
+         * @param string $message
428
+         */
426 429
         private function __appendError(array $codes, XMLElement &$element, $message = null)
427 430
         {
428 431
             if (is_null($message)) {
Please login to merge, or discard this patch.