Chih-Hsuan Yen f3aceb4648 Fix an error when disabling all user plugins ... If I enabled some user plugins via Preferences -> Plugins and then disabled all of them, an error occurred: Jul 16 22:34:20 php[100]: PHP Fatal error: Uncaught TypeError: array_filter(): Argument #1 ($array) must be of type array, null given in /usr/share/webapps/tt-rss/classes/pref/prefs.php:1027 Jul 16 22:34:20 php[100]: Stack trace: Jul 16 22:34:20 php[100]: #0 /usr/share/webapps/tt-rss/classes/pref/prefs.php(1027): array_filter() Jul 16 22:34:20 php[100]: #1 /usr/share/webapps/tt-rss/backend.php(136): Pref_Prefs->setplugins() Jul 16 22:34:20 php[100]: #2 {main} Jul 16 22:34:20 php[100]: thrown in /usr/share/webapps/tt-rss/classes/pref/prefs.php on line 1027 Apparently the issue was elevated from a warning to an error in PHP 8.0 [1]. [1] https://php.watch/versions/8.0/internal-function-exceptions		2022-07-16 22:50:16 +08:00
..
feeds.php	feeds-tree: move external onClick dojo/method to PrefFeedTree class	2022-06-06 09:31:37 +03:00
filters.php	filter-tree: move external dojo/method to PrefFilterTree class	2022-06-06 09:29:16 +03:00
labels.php	Address PHPStan warning in 'classes/pref/labels.php'.	2021-11-14 20:13:09 +00:00
prefs.php	Fix an error when disabling all user plugins	2022-07-16 22:50:16 +08:00
system.php	various fixes vor php 8.1 compatibility	2022-03-09 00:46:15 +08:00
users.php	Address PHPStan warning in 'classes/pref/users.php'.	2021-11-14 20:27:17 +00:00