From 36aa0122e15b6c5a4bf923467b63a577cac5a539 Mon Sep 17 00:00:00 2001
From: Alexandre Alapetite <alexandre@alapetite.fr>
Date: Tue, 4 Apr 2023 10:23:26 +0200
Subject: Fix extensions in actualize_script (#5243)

* Fix extension freshrss_user_maintenance in actualize_script
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/3440

The hook was called before registering all the extensions for the current user

* PHPStan Level 6 for extensions
And remove 5-year old legacy format of enabled extensions < FreshRSS 1.11.1

* Fix multiple bugs in extensions

* Minor typing

* Don't change signature of methods supposed to be overridden

* PHPStan Level 9 and compatibility Intelliphense

* Set as final the methods not supposed to be overriden
---
 app/Models/View.php | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'app/Models/View.php')

diff --git a/app/Models/View.php b/app/Models/View.php
index 309773c93..7e7afd124 100644
--- a/app/Models/View.php
+++ b/app/Models/View.php
@@ -114,10 +114,15 @@ class FreshRSS_View extends Minz_View {
 	public $selectorSuccess;
 
 	// Extensions
+	/** @var array<string,array{'name':string,'author':string,'description':string,'version':string,'entrypoint':string,'type':'system'|'user','url':string,'method':string,'directory':string}> */
 	public $available_extensions;
+	/** @var ?Minz_Extension */
 	public $ext_details;
+	/** @var array{'system':array<Minz_Extension>,'user':array<Minz_Extension>} */
 	public $extension_list;
+	/** @var ?Minz_Extension */
 	public $extension;
+	/** @var array<string,string> */
 	public $extensions_installed;
 
 	// Errors
-- 
cgit v1.2.3