From 76cbfadcdfdcbf675b83f6162a229938aca3bbe1 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Fri, 24 Nov 2023 14:50:03 +0100 Subject: Fix types for extensions (#5901) * Fix types for extensions To accompany https://github.com/FreshRSS/Extensions/pull/185 * Avoid bug redeclared function --- app/Controllers/javascriptController.php | 1 - 1 file changed, 1 deletion(-) (limited to 'app/Controllers/javascriptController.php') diff --git a/app/Controllers/javascriptController.php b/app/Controllers/javascriptController.php index 5d402fa67..6dd36dd72 100644 --- a/app/Controllers/javascriptController.php +++ b/app/Controllers/javascriptController.php @@ -5,7 +5,6 @@ class FreshRSS_javascript_Controller extends FreshRSS_ActionController { /** * @var FreshRSS_ViewJavascript - * @phpstan-ignore-next-line */ protected $view; -- cgit v1.2.3