mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-09-18 00:23:34 -04:00
* More PHP type hints for Fever Follow-up of https://github.com/FreshRSS/FreshRSS/pull/4201 Related to https://github.com/FreshRSS/FreshRSS/issues/4200 * Detail * Draft * Progress * More draft * Fix thumbnail PHP type hint https://github.com/FreshRSS/FreshRSS/issues/4215 * More types * A bit more * Refactor FreshRSS_Entry::fromArray * Progress * Starts to work * Categories * Fonctional * Layout update * Fix relative URLs * Cache system * Forgotten files * Remove a debug line * Automatic form validation of XPath expressions * data-leave-validation * Fix reload action * Simpler examples * Fix column type for PostgreSQL * Enforce HTTP encoding * Readme * Fix get full content * target="_blank" * gitignore * htmlspecialchars_utf8 * Implement HTML <base> And fix/revert `xml:base` support in SimplePie https://github.com/simplepie/simplepie/commit/e49c578817aa504d8d05cd7f33857aeda9d41908 * SimplePie upstream PR merged https://github.com/simplepie/simplepie/pull/723
145 lines
2.6 KiB
PHP
145 lines
2.6 KiB
PHP
<?php
|
|
|
|
class FreshRSS_View extends Minz_View {
|
|
|
|
// Main views
|
|
public $callbackBeforeEntries;
|
|
public $callbackBeforeFeeds;
|
|
public $callbackBeforePagination;
|
|
public $categories;
|
|
/** @var FreshRSS_Category|null */
|
|
public $category;
|
|
/** @var string */
|
|
public $current_user;
|
|
/** @var array<FreshRSS_Entry> */
|
|
public $entries;
|
|
/** @var FreshRSS_Entry */
|
|
public $entry;
|
|
/** @var FreshRSS_Feed|null */
|
|
public $feed;
|
|
/** @var array<FreshRSS_Feed> */
|
|
public $feeds;
|
|
/** @var int */
|
|
public $nbUnreadTags;
|
|
public $tags;
|
|
|
|
// Substriptions
|
|
public $default_category;
|
|
public $displaySlider;
|
|
public $load_ok;
|
|
public $onlyFeedsWithError;
|
|
public $signalError;
|
|
|
|
// Manage users
|
|
public $details;
|
|
public $disable_aside;
|
|
public $show_email_field;
|
|
public $username;
|
|
public $users;
|
|
|
|
// Updates
|
|
public $last_update_time;
|
|
public $status_files;
|
|
public $status_php;
|
|
public $update_to_apply;
|
|
public $status_database;
|
|
|
|
// Archiving
|
|
public $nb_total;
|
|
public $size_total;
|
|
public $size_user;
|
|
|
|
// Display
|
|
public $themes;
|
|
|
|
// Shortcuts
|
|
public $list_keys;
|
|
|
|
// User queries
|
|
/**
|
|
* @var array<int,FreshRSS_UserQuery>
|
|
*/
|
|
public $queries;
|
|
/**
|
|
* @var FreshRSS_UserQuery|null
|
|
*/
|
|
public $query;
|
|
|
|
// Export / Import
|
|
public $content;
|
|
public $entriesRaw;
|
|
public $entriesId;
|
|
public $entryIdsTagNames;
|
|
public $list_title;
|
|
public $queryId;
|
|
public $type;
|
|
|
|
// Form login
|
|
public $cookie_days;
|
|
public $nonce;
|
|
public $salt1;
|
|
|
|
// Registration
|
|
public $can_register;
|
|
public $preferred_language;
|
|
public $show_tos_checkbox;
|
|
public $terms_of_service;
|
|
|
|
// Email validation
|
|
public $site_title;
|
|
public $validation_url;
|
|
|
|
// Logs
|
|
public $currentPage;
|
|
public $logsPaginator;
|
|
public $nbPage;
|
|
|
|
// RSS view
|
|
/** @var string */
|
|
public $rss_title = '';
|
|
/** @var string */
|
|
public $rss_url = '';
|
|
/** @var string */
|
|
public $rss_base = '';
|
|
/** @var boolean */
|
|
public $internal_rendering = false;
|
|
|
|
// Content preview
|
|
public $fatalError;
|
|
public $htmlContent;
|
|
public $selectorSuccess;
|
|
|
|
// Extensions
|
|
public $available_extensions;
|
|
public $ext_details;
|
|
public $extension_list;
|
|
public $extension;
|
|
public $extensions_installed;
|
|
|
|
// Errors
|
|
public $code;
|
|
public $errorMessage;
|
|
public $message;
|
|
|
|
// Statistics
|
|
public $average;
|
|
public $averageDayOfWeek;
|
|
public $averageHour;
|
|
public $averageMonth;
|
|
public $days;
|
|
public $entryByCategory;
|
|
public $entryCount;
|
|
public $feedByCategory;
|
|
public $hours24Labels;
|
|
public $idleFeeds;
|
|
public $last30DaysLabel;
|
|
public $last30DaysLabels;
|
|
public $months;
|
|
public $repartition;
|
|
public $repartitionDayOfWeek;
|
|
public $repartitionHour;
|
|
public $repartitionMonth;
|
|
public $topFeed;
|
|
|
|
}
|