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
Push — master ( b04c59...4ec6fa )
by Cees-Jan
01:28
created

src/functions.php (1 issue)

Upgrade to new PHP Analysis Engine

These results are based on our legacy PHP analysis, consider migrating to our new PHP analysis engine instead. Learn more

1
<?php declare(strict_types=1);
2
3
namespace WyriHaximus\Rx;
4
5
use Generator;
6
use Rx\ObservableInterface;
7
8
function each(ObservableInterface $observable): Generator
0 ignored issues
show
The parameter $observable is not used and could be removed.

This check looks from parameters that have been defined for a function or method, but which are not used in the method body.

Loading history...
9
{
10
    yield 1;
11
}
12