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 — master (#1008)
by Mathias
04:07
created
src/functions.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -453,7 +453,7 @@  discard block
 block discarded – undo
453 453
 
454 454
 /**
455 455
  * Writes a message to the output and adds a newline at the end.
456
- * @param string|array $message
456
+ * @param string $message
457 457
  */
458 458
 function writeln($message)
459 459
 {
@@ -516,7 +516,7 @@  discard block
 block discarded – undo
516 516
  * Get configuration value.
517 517
  *
518 518
  * @param string $name
519
- * @param mixed|null $default
519
+ * @param boolean $default
520 520
  * @return mixed
521 521
  */
522 522
 function get($name, $default = null)
Please login to merge, or discard this patch.
src/Type/Config.php 1 patch
Doc Comments   -2 removed lines patch added patch discarded remove patch
@@ -20,8 +20,6 @@
 block discarded – undo
20 20
      * 2. array values are extended uniquely if all keys are numeric
21 21
      * 3. all other array values are merged
22 22
      *
23
-     * @param array $a
24
-     * @param array $b
25 23
      * @return array
26 24
      * @see http://stackoverflow.com/a/36366886/6812729
27 25
      */
Please login to merge, or discard this patch.