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 (#978)
by Mathieu
02:32
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.