View.php 2.2 KB

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