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
