From e394f80c20a7280e9264a6ab7bae9d5017bddbb0 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 85f356fd0c..0bc433b94e 100644 --- a/plugins/ActivitySpam/ActivitySpamPlugin.php +++ b/plugins/ActivitySpam/ActivitySpamPlugin.php @@ -203,7 +203,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 3c8d1e5910..4b2e4b9a1e 100644 --- a/plugins/Directory/DirectoryPlugin.php +++ b/plugins/Directory/DirectoryPlugin.php @@ -211,7 +211,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