mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-07-20 12:03:02 -04:00
Declare some accessors as non-empty-string, to make some extension code slightly nicer, e.g. https://github.com/FreshRSS/Extensions/pull/470
17 KiB
17 KiB