Completed
Push — master ( 2d84e9...2625d8 )
by Lukas
12:38
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.