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 ( 841b7d...3ed1d3 )
by
unknown
13:44 queued 04:45
created
src/BasicBackend.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -128,8 +128,8 @@
 block discarded – undo
128 128
 	}
129 129
 
130 130
 	/**
131
-	 * @param $definitions
132
-	 * @param $term
131
+	 * @param string[] $definitions
132
+	 * @param string $term
133 133
 	 * @return array
134 134
 	 */
135 135
 	protected function queueDefinitions( $definitions, $term ) {
Please login to merge, or discard this patch.
src/Element.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -63,7 +63,7 @@
 block discarded – undo
63 63
 	/**
64 64
 	 * Lingo\Element constructor.
65 65
 	 *
66
-	 * @param $term
66
+	 * @param string $term
67 67
 	 * @param $definition
68 68
 	 */
69 69
 	public function __construct( &$term, &$definition = null ) {
Please login to merge, or discard this patch.