SystemConfiguration.php 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637
  1. <?php
  2. declare(strict_types=1);
  3. /**
  4. * @property bool $allow_anonymous
  5. * @property bool $allow_anonymous_refresh
  6. * @property-read bool $allow_referrer
  7. * @property bool $allow_robots
  8. * @property bool $api_enabled
  9. * @property string $archiving
  10. * @property 'form'|'http_auth'|'none' $auth_type
  11. * @property string $auto_update_url
  12. * @property-read array<int,mixed> $curl_options
  13. * @property string $default_user
  14. * @property string $email_validation_token
  15. * @property bool $force_email_validation
  16. * @property-read bool $http_auth_auto_register
  17. * @property-read string $http_auth_auto_register_email_field
  18. * @property string $language
  19. * @property array<string,int> $limits
  20. * @property-read string $logo_html
  21. * @property-read string $meta_description
  22. * @property-read bool $pubsubhubbub_enabled
  23. * @property-read string $salt
  24. * @property-read bool $simplepie_syslog_enabled
  25. * @property bool $unsafe_autologin_enabled
  26. * @property array<string> $trusted_sources
  27. * @property array<string,array<string,mixed>> $extensions
  28. */
  29. final class FreshRSS_SystemConfiguration extends Minz_Configuration {
  30. /** @throws Minz_ConfigurationNamespaceException */
  31. public static function init(string $config_filename, ?string $default_filename = null): FreshRSS_SystemConfiguration {
  32. parent::register('system', $config_filename, $default_filename);
  33. return parent::get('system');
  34. }
  35. }