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 ( c0e57f...6e058d )
by Joni
03:47
created
lib/ASN1/Type/Primitive/Real.php 1 patch
Doc Comments   +10 added lines, -1 removed lines patch added patch discarded remove patch
@@ -123,11 +123,17 @@  discard block
 block discarded – undo
123 123
 		return $obj;
124 124
 	}
125 125
 	
126
+	/**
127
+	 * @param string $data
128
+	 */
126 129
 	protected static function _decodeBinaryEncoding($data) {
127 130
 		throw new \RuntimeException(
128 131
 			"Binary encoding of REAL is not implemented.");
129 132
 	}
130 133
 	
134
+	/**
135
+	 * @param string $data
136
+	 */
131 137
 	protected static function _decodeDecimalEncoding($data) {
132 138
 		$nr = ord($data[0]) & 0x03;
133 139
 		if ($nr != 0x03) {
@@ -137,6 +143,9 @@  discard block
 block discarded – undo
137 143
 		return new self($str);
138 144
 	}
139 145
 	
146
+	/**
147
+	 * @param string $data
148
+	 */
140 149
 	protected static function _decodeSpecialRealValue($data) {
141 150
 		if (strlen($data) != 1) {
142 151
 			throw new DecodeException(
@@ -239,7 +248,7 @@  discard block
 block discarded – undo
239 248
 	/**
240 249
 	 * Test that number is valid for this context.
241 250
 	 *
242
-	 * @param mixed $num
251
+	 * @param string $num
243 252
 	 * @return boolean
244 253
 	 */
245 254
 	private static function _validateNumber($num) {
Please login to merge, or discard this patch.