jenkins-bot has submitted this change and it was merged. Change subject: Fix phpdoc ......................................................................
Fix phpdoc See https://www.mediawiki.org/wiki/Manual:Hooks/DiffViewHeader Change-Id: I551c5b5a4f98503dad01c763032c5b1b86daba6f --- M Thanks.hooks.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified diff --git a/Thanks.hooks.php b/Thanks.hooks.php index 3542be2..77a5dda 100644 --- a/Thanks.hooks.php +++ b/Thanks.hooks.php @@ -96,7 +96,7 @@ /** * Handler for DiffViewHeader hook. * @see http://www.mediawiki.org/wiki/Manual:Hooks/DiffViewHeader - * @param $diff WikiPage|Article|ImagePage|CategoryPage|Page The page that the history is loading for. + * @param $diff DifferenceEngine * @param $oldRev Revision object of the "old" revision (may be null/invalid) * @param $newRev Revision object of the "new" revision * @return bool true in all cases -- To view, visit https://gerrit.wikimedia.org/r/91557 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I551c5b5a4f98503dad01c763032c5b1b86daba6f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Thanks Gerrit-Branch: master Gerrit-Owner: Legoktm <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
