Completed
Push — master ( 95e621...e2946f )
by Lukas
07:50
created
lib/private/Comments/Manager.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -202,7 +202,7 @@
 block discarded – undo
202 202
 	/**
203 203
 	 * removes an entry from the comments run time cache
204 204
 	 *
205
-	 * @param mixed $id the comment's id
205
+	 * @param string $id the comment's id
206 206
 	 */
207 207
 	protected function uncache($id) {
208 208
 		$id = strval($id);
Please login to merge, or discard this patch.