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 ( 72e644...ec3172 )
by Joni
04:45
created
lib/X509/CertificationPath/PathValidation/PathValidator.php 1 patch
Doc Comments   +1 added lines patch added patch discarded remove patch
@@ -50,6 +50,7 @@
 block discarded – undo
50 50
 	 * @param Crypto $crypto
51 51
 	 * @param PathValidationConfig $config
52 52
 	 * @param Certificate ...$certificates
53
+	 * @param Certificate[] $certificates
53 54
 	 */
54 55
 	public function __construct(Crypto $crypto, PathValidationConfig $config, 
55 56
 			Certificate ...$certificates) {
Please login to merge, or discard this patch.