Skip to content
Snippets Groups Projects
  1. Aug 15, 2022
  2. Aug 14, 2022
  3. Jul 31, 2022
  4. Jul 29, 2022
  5. Jul 24, 2022
  6. Jul 16, 2022
    • Chih-Hsuan Yen's avatar
      Fix an error when disabling all user plugins · f3aceb46
      Chih-Hsuan Yen authored
      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
      f3aceb46
  7. Jul 13, 2022
  8. Jul 03, 2022
  9. Jun 19, 2022
  10. Jun 13, 2022
  11. Jun 10, 2022
  12. Jun 09, 2022
  13. Jun 06, 2022
  14. Jun 05, 2022
  15. May 29, 2022
  16. May 28, 2022
  17. May 24, 2022
  18. May 23, 2022
  19. May 21, 2022
  20. Apr 03, 2022
  21. Mar 29, 2022
  22. Mar 22, 2022
  23. Mar 08, 2022
  24. Feb 25, 2022
Loading