From c04c91bb8974671ee093f444b3d180993bc4987c Mon Sep 17 00:00:00 2001 From: Roland Haeder Date: Mon, 25 Jan 2016 15:44:03 +0100 Subject: [PATCH] Added missing type-hint for EndPublicGroupNav (it is Menu). Signed-off-by: Roland Haeder --- plugins/ActivitySpam/ActivitySpamPlugin.php | 2 +- plugins/Directory/DirectoryPlugin.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/ActivitySpam/ActivitySpamPlugin.php b/plugins/ActivitySpam/ActivitySpamPlugin.php index 8d924dea97..779507fe1f 100644 --- a/plugins/ActivitySpam/ActivitySpamPlugin.php +++ b/plugins/ActivitySpam/ActivitySpamPlugin.php @@ -199,7 +199,7 @@ class ActivitySpamPlugin extends Plugin return true; } - function onEndPublicGroupNav($nav) + function onEndPublicGroupNav(Menu $nav) { $user = common_current_user(); diff --git a/plugins/Directory/DirectoryPlugin.php b/plugins/Directory/DirectoryPlugin.php index d940b813db..d35ee0b6de 100644 --- a/plugins/Directory/DirectoryPlugin.php +++ b/plugins/Directory/DirectoryPlugin.php @@ -227,7 +227,7 @@ class DirectoryPlugin extends Plugin * * @see Action */ - function onEndPublicGroupNav($nav) + function onEndPublicGroupNav(Menu $nav) { // XXX: Maybe this should go under search instead? -- 2.39.5