Change mixed @param doc for PatrolLog::record
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 3 Jul 2014 19:24:12 +0000 (21:24 +0200)
committerIAlex <codereview@emsenhuber.ch>
Sun, 6 Jul 2014 06:06:07 +0000 (06:06 +0000)
Change-Id: I5323144faa48eb7da8db15a5aa143e103029961f

includes/logging/PatrolLog.php

index bcef433..4f2a565 100644 (file)
@@ -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
         *