From bb9cf3a4902e9e1b0da1643e6faad01e2c513d02 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Thu, 3 Jul 2014 21:24:12 +0200
Subject: [PATCH] Change mixed @param doc for PatrolLog::record

Change-Id: I5323144faa48eb7da8db15a5aa143e103029961f
---
 includes/logging/PatrolLog.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/logging/PatrolLog.php b/includes/logging/PatrolLog.php
index bcef433866..4f2a565de3 100644
--- a/includes/logging/PatrolLog.php
+++ b/includes/logging/PatrolLog.php
@@ -30,7 +30,7 @@ class PatrolLog {
 	/**
 	 * Record a log event for a change being patrolled
 	 *
-	 * @param mixed $rc Change identifier or RecentChange object
+	 * @param int|RecentChange $rc Change identifier or RecentChange object
 	 * @param bool $auto Was this patrol event automatic?
 	 * @param User $user User performing the action or null to use $wgUser
 	 *
-- 
2.20.1