Umherirrender has uploaded a new change for review. https://gerrit.wikimedia.org/r/144027
Change subject: Change mixed @param doc for PatrolLog::record ...................................................................... Change mixed @param doc for PatrolLog::record Change-Id: I5323144faa48eb7da8db15a5aa143e103029961f --- M includes/logging/PatrolLog.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/27/144027/1 diff --git a/includes/logging/PatrolLog.php b/includes/logging/PatrolLog.php index bcef433..4f2a565 100644 --- a/includes/logging/PatrolLog.php +++ b/includes/logging/PatrolLog.php @@ -30,7 +30,7 @@ /** * 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 * -- To view, visit https://gerrit.wikimedia.org/r/144027 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I5323144faa48eb7da8db15a5aa143e103029961f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits