View.php 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153
  1. <?php
  2. class FreshRSS_View extends Minz_View {
  3. // Main views
  4. public $callbackBeforeEntries;
  5. public $callbackBeforeFeeds;
  6. public $callbackBeforePagination;
  7. /** @var array<FreshRSS_Category> */
  8. public $categories;
  9. /** @var FreshRSS_Category|null */
  10. public $category;
  11. /** @var string */
  12. public $current_user;
  13. /** @var array<FreshRSS_Entry> */
  14. public $entries;
  15. /** @var FreshRSS_Entry */
  16. public $entry;
  17. /** @var FreshRSS_Feed|null */
  18. public $feed;
  19. /** @var array<FreshRSS_Feed> */
  20. public $feeds;
  21. /** @var int */
  22. public $nbUnreadTags;
  23. public $tags;
  24. /** @var array<string,string> */
  25. public $notification;
  26. /** @var bool */
  27. public $excludeMutedFeeds;
  28. // Substriptions
  29. public $default_category;
  30. public $displaySlider;
  31. public $load_ok;
  32. public $onlyFeedsWithError;
  33. public $signalError;
  34. // Manage users
  35. public $details;
  36. public $disable_aside;
  37. public $show_email_field;
  38. /** @var string */
  39. public $username;
  40. public $users;
  41. // Updates
  42. public $last_update_time;
  43. public $status_files;
  44. public $status_php;
  45. public $update_to_apply;
  46. public $status_database;
  47. // Archiving
  48. public $nb_total;
  49. public $size_total;
  50. public $size_user;
  51. // Display
  52. public $themes;
  53. // Shortcuts
  54. public $list_keys;
  55. // User queries
  56. /**
  57. * @var array<int,FreshRSS_UserQuery>
  58. */
  59. public $queries;
  60. /**
  61. * @var FreshRSS_UserQuery|null
  62. */
  63. public $query;
  64. // Export / Import
  65. public $content;
  66. public $entryIdsTagNames;
  67. public $list_title;
  68. public $queryId;
  69. public $type;
  70. // Form login
  71. public $cookie_days;
  72. public $nonce;
  73. public $salt1;
  74. // Registration
  75. public $can_register;
  76. public $preferred_language;
  77. public $show_tos_checkbox;
  78. public $terms_of_service;
  79. // Email validation
  80. public $site_title;
  81. public $validation_url;
  82. // Logs
  83. public $currentPage;
  84. public $logsPaginator;
  85. public $nbPage;
  86. // RSS view
  87. /** @var string */
  88. public $rss_title = '';
  89. /** @var string */
  90. public $rss_url = '';
  91. /** @var string */
  92. public $rss_base = '';
  93. /** @var boolean */
  94. public $internal_rendering = false;
  95. // Content preview
  96. public $fatalError;
  97. public $htmlContent;
  98. public $selectorSuccess;
  99. // Extensions
  100. /** @var array<string,array{'name':string,'author':string,'description':string,'version':string,'entrypoint':string,'type':'system'|'user','url':string,'method':string,'directory':string}> */
  101. public $available_extensions;
  102. /** @var ?Minz_Extension */
  103. public $ext_details;
  104. /** @var array{'system':array<Minz_Extension>,'user':array<Minz_Extension>} */
  105. public $extension_list;
  106. /** @var ?Minz_Extension */
  107. public $extension;
  108. /** @var array<string,string> */
  109. public $extensions_installed;
  110. // Errors
  111. public $code;
  112. public $errorMessage;
  113. public $message;
  114. // Statistics
  115. public $average;
  116. public $averageDayOfWeek;
  117. public $averageHour;
  118. public $averageMonth;
  119. public $days;
  120. public $entryByCategory;
  121. public $entryCount;
  122. public $feedByCategory;
  123. public $hours24Labels;
  124. public $idleFeeds;
  125. public $last30DaysLabel;
  126. public $last30DaysLabels;
  127. public $months;
  128. public $repartition;
  129. public $repartitionDayOfWeek;
  130. public $repartitionHour;
  131. public $repartitionMonth;
  132. public $topFeed;
  133. }