-
-// print_headline_subtoolbar($link,
-// "javascript:catchupPage()", "Mark page as read", true, $rtl_content);
-
-
- } else {
- print "<div class='whiteBox'>"._('No articles found.')."</div>";
- }
-
- print "</div>";
-
- print "</div>";
- }
-
- if ($op == "pref-feeds") {
- module_pref_feeds($link);
- }
-
- if ($op == "pref-filters") {
- module_pref_filters($link);
- }
-
- if ($op == "pref-labels") {
- module_pref_labels($link);
- }
-
- if ($op == "pref-prefs") {
- module_pref_prefs($link);
- }
-
- if ($op == "pref-users") {
- module_pref_users($link);
- }
-
- if ($op == "help") {
- module_help($link);
- }
-
- if ($op == "dlg") {
- module_popup_dialog($link);
- }
-
- // update feeds of all users, may be used anonymously
- if ($op == "globalUpdateFeeds") {
-
- $result = db_query($link, "SELECT id FROM ttrss_users");
-
- while ($line = db_fetch_assoc($result)) {
- $user_id = $line["id"];
-// print "<!-- updating feeds of uid $user_id -->";
- update_all_feeds($link, false, $user_id);
- }
-
- print "<rpc-reply>
- <message msg=\"All feeds updated\"/>
- </rpc-reply>";
-
- }
-
- if ($op == "user-details") {
-
- if (WEB_DEMO_MODE || $_SESSION["access_level"] < 10) {
- return;
- }
-
-/* print "<html><head>
- <title>Tiny Tiny RSS : User Details</title>
- <link rel=\"stylesheet\" href=\"tt-rss.css\" type=\"text/css\">
- <meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\">
- </head><body>"; */
-
- $uid = sprintf("%d", $_GET["id"]);
-
- print "<div id=\"infoBoxTitle\">User details</div>";
-
- print "<div class='infoBoxContents'>";
-
- $result = db_query($link, "SELECT login,
- SUBSTRING(last_login,1,16) AS last_login,
- access_level,
- (SELECT COUNT(int_id) FROM ttrss_user_entries
- WHERE owner_uid = id) AS stored_articles
- FROM ttrss_users
- WHERE id = '$uid'");