]> git.wh0rd.org - tt-rss.git/blame - backend.php
initial work on dashboard
[tt-rss.git] / backend.php
CommitLineData
1d3a17c7 1<?php
d65981e2
AD
2 error_reporting(E_ERROR | E_WARNING | E_PARSE);
3
ce885e21
AD
4 /* remove ill effects of magic quotes */
5
6 if (get_magic_quotes_gpc()) {
7 $_GET = array_map('stripslashes', $_GET);
8 $_POST = array_map('stripslashes', $_POST);
9 $_REQUEST = array_map('stripslashes', $_REQUEST);
10 $_COOKIE = array_map('stripslashes', $_COOKIE);
11 }
12
36bfab86 13 require_once "sessions.php";
c339343b 14 require_once "modules/backend-rpc.php";
dc56b3b7 15
894ebcf5 16/* if ($_GET["debug"]) {
cce28758
AD
17 define('DEFAULT_ERROR_LEVEL', E_ALL);
18 } else {
19 define('DEFAULT_ERROR_LEVEL', E_ERROR | E_WARNING | E_PARSE);
20 }
894ebcf5
AD
21
22 error_reporting(DEFAULT_ERROR_LEVEL); */
cce28758 23
657770a0
AD
24 require_once "sanity_check.php";
25 require_once "config.php";
af106b0e
AD
26
27 require_once "db.php";
28 require_once "db-prefs.php";
29 require_once "functions.php";
657770a0 30
dc56b3b7 31 no_cache_incantation();
8d039718
AD
32
33 if (ENABLE_TRANSLATIONS == true) {
34 startup_gettext();
35 }
dc56b3b7 36
7f0acba7
AD
37 $script_started = getmicrotime();
38
39 $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
40
41 if (!$link) {
42 if (DB_TYPE == "mysql") {
43 print mysql_error();
44 }
45 // PG seems to display its own errors just fine by default.
46 return;
47 }
48
49 if (DB_TYPE == "pgsql") {
50 pg_query("set client_encoding = 'UTF-8'");
51 pg_set_client_encoding("UNICODE");
70dcff6b 52 } else {
bddc9788
AD
53 if (defined('MYSQL_CHARSET') && MYSQL_CHARSET) {
54 db_query($link, "SET NAMES " . MYSQL_CHARSET);
75ca1986 55// db_query($link, "SET CHARACTER SET " . MYSQL_CHARSET);
bddc9788 56 }
7f0acba7
AD
57 }
58
59 $op = $_REQUEST["op"];
60
c339343b 61 $print_exec_time = false;
7e3634d9 62
3de0261a 63 if ((!$op || $op == "rpc" || $op == "rss" || $op == "view" ||
945c243e 64 $op == "digestSend" || $op == "viewfeed" || $op == "publish" ||
18664970 65 $op == "globalUpdateFeeds") && !$_REQUEST["noxml"]) {
6002818b 66 header("Content-Type: application/xml; charset=utf-8");
9fdf7824
AD
67 } else {
68 if (!$_REQUEST["noxml"]) {
69 header("Content-Type: text/html; charset=utf-8");
70 } else {
71 header("Content-Type: text/plain; charset=utf-8");
72 }
262bd8ea
AD
73 }
74
f3acc32e
AD
75 if (!$op) {
76 header("Content-Type: application/xml");
77 print_error_xml(7); exit;
78 }
42c32916 79
7f0acba7 80 if (!($_SESSION["uid"] && validate_session($link)) && $op != "globalUpdateFeeds"
945c243e 81 && $op != "rss" && $op != "getUnread" && $op != "publish") {
262bd8ea 82
2e918d9d 83 if ($op == "rpc" || $op == "viewfeed" || $op == "view") {
af106b0e 84 print_error_xml(6); die;
04269460
AD
85 } else {
86 print "
87 <html><body>
88 <p>Error: Not logged in.</p>
89 <script type=\"text/javascript\">
90 if (parent.window != 'undefined') {
01a87dff 91 parent.window.location = \"tt-rss.php\";
04269460 92 } else {
01a87dff 93 window.location = \"tt-rss.php\";
04269460
AD
94 }
95 </script>
96 </body></html>
97 ";
262bd8ea
AD
98 }
99 exit;
100 }
1c7f75ed 101
ad815c71 102 $purge_intervals = array(
d1db26aa
AD
103 0 => __("Use default"),
104 -1 => __("Never purge"),
105 5 => __("1 week old"),
106 14 => __("2 weeks old"),
107 31 => __("1 month old"),
108 60 => __("2 months old"),
109 90 => __("3 months old"));
ad815c71
AD
110
111 $update_intervals = array(
d1db26aa
AD
112 0 => __("Use default"),
113 -1 => __("Disable updates"),
1e7cbe16 114 15 => __("Each 15 minutes"),
d1db26aa
AD
115 30 => __("Each 30 minutes"),
116 60 => __("Hourly"),
117 240 => __("Each 4 hours"),
118 720 => __("Each 12 hours"),
119 1440 => __("Daily"),
120 10080 => __("Weekly"));
ad815c71 121
16211ddb 122 $update_methods = array(
0dd9c0cf
AD
123 0 => __("Use default"),
124 1 => __("Magpie"),
125 2 => __("SimplePie"));
16211ddb
AD
126
127 if (ENABLE_SIMPLEPIE) {
128 $update_methods[0] .= ' (SimplePie)';
129 } else {
130 $update_methods[0] .= ' (Magpie)';
131 }
132
3c5783b7 133 $access_level_names = array(
d1db26aa
AD
134 0 => __("User"),
135 10 => __("Administrator"));
3c5783b7 136
f27d955a 137 require_once "modules/pref-prefs.php";
ef8be8ea
AD
138 require_once "modules/popup-dialog.php";
139 require_once "modules/help.php";
140 require_once "modules/pref-feeds.php";
141 require_once "modules/pref-filters.php";
142 require_once "modules/pref-labels.php";
143 require_once "modules/pref-users.php";
c339343b 144 require_once "modules/pref-feed-browser.php";
ef8be8ea 145
b2804af7 146 if (!sanity_check($link)) { return; }
023fe037 147
45004d43
AD
148 switch($op) { // Select action according to $op value.
149 case "rpc":
150 // Handle remote procedure calls.
151 handle_rpc_request($link);
152 break; // rpc
153
154 case "feeds":
155 $tags = $_GET["tags"];
156
157 $subop = $_GET["subop"];
158
159 switch($subop) {
160 case "catchupAll":
161 db_query($link, "UPDATE ttrss_user_entries SET
162 last_read = NOW(),unread = false WHERE owner_uid = " . $_SESSION["uid"]);
163 break;
164
165 case "collapse":
166 $cat_id = db_escape_string($_GET["cid"]);
167
168 db_query($link, "UPDATE ttrss_feed_categories SET
169 collapsed = NOT collapsed WHERE id = '$cat_id' AND owner_uid = " .
170 $_SESSION["uid"]);
171 return;
172 break;
173 }
c3b81db0 174
45004d43
AD
175 outputFeedList($link, $tags);
176 break; // feeds
1cd17194 177
45004d43 178 case "view":
e097e8be 179
45004d43
AD
180 $id = db_escape_string($_GET["id"]);
181 $feed_id = db_escape_string($_GET["feed"]);
182 $cids = split(",", db_escape_string($_GET["cids"]));
183 $mode = db_escape_string($_GET["mode"]);
184 $omode = db_escape_string($_GET["omode"]);
e097e8be 185
45004d43 186 print "<reply>";
e097e8be 187
45004d43
AD
188 // in prefetch mode we only output requested cids, main article
189 // just gets marked as read (it already exists in client cache)
e097e8be 190
45004d43
AD
191 if ($mode == "") {
192 outputArticleXML($link, $id, $feed_id);
193 } else {
194 catchupArticleById($link, $id, 0);
195 }
e097e8be 196
45004d43
AD
197 foreach ($cids as $cid) {
198 if ($cid) {
199 outputArticleXML($link, $cid, $feed_id, false);
200 }
e097e8be 201 }
e097e8be 202
45004d43
AD
203 if ($mode != "prefetch_old") {
204 print "<counters>";
205 getAllCounters($link, $omode);
206 print "</counters>";
207 }
5a94a953 208
45004d43
AD
209 print "</reply>";
210 break; // view
1cd17194 211
45004d43 212 case "viewfeed":
1cd17194 213
45004d43
AD
214 $print_exec_time = true;
215 $timing_info = getmicrotime();
46921916 216
45004d43 217 print "<reply>";
3de0261a 218
45004d43 219 if ($_GET["debug"]) $timing_info = print_checkpoint("0", $timing_info);
46921916 220
45004d43 221 $omode = db_escape_string($_GET["omode"]);
3de0261a 222
45004d43
AD
223 $feed = db_escape_string($_GET["feed"]);
224 $subop = db_escape_string($_GET["subop"]);
225 $view_mode = db_escape_string($_GET["view_mode"]);
226 $limit = db_escape_string($_GET["limit"]);
227 $cat_view = db_escape_string($_GET["cat"]);
228 $next_unread_feed = db_escape_string($_GET["nuf"]);
229 $offset = db_escape_string($_GET["skip"]);
203de776 230
45004d43
AD
231 set_pref($link, "_DEFAULT_VIEW_MODE", $view_mode);
232 set_pref($link, "_DEFAULT_VIEW_LIMIT", $limit);
40496720 233
45004d43
AD
234 if (!$cat_view && preg_match("/^[0-9][0-9]*$/", $feed)) {
235 db_query($link, "UPDATE ttrss_feeds SET last_viewed = NOW()
236 WHERE id = '$feed' AND owner_uid = ".$_SESSION["uid"]);
237 }
7466dc6a 238
45004d43 239 print "<headlines id=\"$feed\"><![CDATA[";
c50e2b30 240
d96b7774 241 if ($feed == -4) {
d76a3b03 242
d96b7774 243 print "<div id=\"headlinesContainer\">";
29dfb258 244
d96b7774 245 print "PLACEHOLDER";
98bea1b1 246
d96b7774 247 print "</div>";
29dfb258 248
d96b7774
AD
249 print "]]></headlines>";
250 print "<headlines-count value=\"0\"/>";
251 print "<headlines-unread value=\"0\"/>";
252 print "<disable-cache value=\"0\"/>";
e19c1824 253
d96b7774
AD
254 print "<articles>";
255 print "</articles>";
e19c1824 256
d96b7774 257 } else {
46921916 258
d96b7774
AD
259 $ret = outputHeadlinesList($link, $feed, $subop,
260 $view_mode, $limit, $cat_view, $next_unread_feed, $offset);
261
262 $topmost_article_ids = $ret[0];
263 $headlines_count = $ret[1];
264 $returned_feed = $ret[2];
265 $disable_cache = $ret[3];
266
267 print "]]></headlines>";
268
269 print "<headlines-count value=\"$headlines_count\"/>";
270
271 $headlines_unread = getFeedUnread($link, $returned_feed);
272
273 print "<headlines-unread value=\"$headlines_unread\"/>";
274 printf("<disable-cache value=\"%d\"/>", $disable_cache);
275
276 if ($_GET["debug"]) $timing_info = print_checkpoint("10", $timing_info);
277
278 if (is_array($topmost_article_ids) && !get_pref($link, 'COMBINED_DISPLAY_MODE')) {
279 print "<articles>";
280 foreach ($topmost_article_ids as $id) {
281 outputArticleXML($link, $id, $feed, false);
282 }
283 print "</articles>";
45004d43 284 }
961f4c73 285 }
961f4c73 286
45004d43 287 if ($_GET["debug"]) $timing_info = print_checkpoint("20", $timing_info);
46921916 288
45004d43
AD
289 print "<counters>";
290 getAllCounters($link, $omode, $feed);
291 print "</counters>";
98bea1b1 292
45004d43 293 if ($_GET["debug"]) $timing_info = print_checkpoint("30", $timing_info);
46921916 294
45004d43 295 print_runtime_info($link);
03c88bdd 296
45004d43
AD
297 print "</reply>";
298 break; // viewfeed
1cd17194 299
45004d43
AD
300 case "pref-feeds":
301 module_pref_feeds($link);
302 break; // pref-feeds
a7f22b70 303
45004d43
AD
304 case "pref-filters":
305 module_pref_filters($link);
306 break; // pref-filters
a0476535 307
45004d43
AD
308 case "pref-labels":
309 module_pref_labels($link);
310 break; // pref-labels
d0000401 311
45004d43
AD
312 case "pref-prefs":
313 module_pref_prefs($link);
314 break; // pref-prefs
f27d955a 315
45004d43
AD
316 case "pref-users":
317 module_pref_users($link);
318 break; // prefs-users
a0476535 319
45004d43
AD
320 case "help":
321 module_help($link);
322 break; // help
a0476535 323
45004d43
AD
324 case "dlg":
325 module_popup_dialog($link);
326 break; // dlg
a7f22b70 327
45004d43
AD
328 case "pref-pub-items":
329 module_pref_pub_items($link);
330 break; // pref-pub-items
e4f4b46f 331
45004d43
AD
332 case "globalUpdateFeeds":
333 // update feeds of all users, may be used anonymously
e4f4b46f 334
45004d43
AD
335 // Update all feeds needing a update.
336 update_daemon_common($link, 0, true, false);
a7f22b70 337
45004d43
AD
338 // FIXME : old feed update way. To be removed.
339 //$result = db_query($link, "SELECT id FROM ttrss_users");
a0476535 340
45004d43
AD
341 //while ($line = db_fetch_assoc($result)) {
342 // $user_id = $line["id"];
343 // print "<!-- updating feeds of uid $user_id -->";
344 // update_all_feeds($link, false, $user_id);
345 //}
e2f728be 346
45004d43
AD
347 print "<rpc-reply>
348 <message msg=\"All feeds updated\"/>
349 </rpc-reply>";
350 break; // globalUpdateFeeds
e5d758e3 351
45004d43 352 case "user-details":
f9cb39ac 353
45004d43
AD
354 if (WEB_DEMO_MODE || $_SESSION["access_level"] < 10) {
355 return;
356 }
0af33e87 357
45004d43
AD
358 /*
359 print "<html><head>
360 <title>Tiny Tiny RSS : User Details</title>
361 <link rel=\"stylesheet\" href=\"tt-rss.css\" type=\"text/css\">
362 <meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\">
363 </head><body>";
364 */
365
366 $uid = sprintf("%d", $_GET["id"]);
367
368 print "<div id=\"infoBoxTitle\">User details</div>";
369
370 print "<div class='infoBoxContents'>";
371
372 $result = db_query($link, "SELECT login,
373 SUBSTRING(last_login,1,16) AS last_login,
374 access_level,
375 (SELECT COUNT(int_id) FROM ttrss_user_entries
376 WHERE owner_uid = id) AS stored_articles,
377 SUBSTRING(created,1,16) AS created
378 FROM ttrss_users
379 WHERE id = '$uid'");
380
381 if (db_num_rows($result) == 0) {
382 print "<h1>User not found</h1>";
383 return;
384 }
f9cb39ac 385
45004d43 386 // print "<h1>User Details</h1>";
f9cb39ac 387
45004d43 388 $login = db_fetch_result($result, 0, "login");
b92e6209 389
45004d43 390 // print "<h1>$login</h1>";
dc932d0a 391
45004d43 392 print "<table width='100%'>";
dc932d0a 393
45004d43
AD
394 $last_login = date(get_pref($link, 'LONG_DATE_FORMAT'),
395 strtotime(db_fetch_result($result, 0, "last_login")));
54a3d3cf 396
45004d43
AD
397 $created = date(get_pref($link, 'LONG_DATE_FORMAT'),
398 strtotime(db_fetch_result($result, 0, "created")));
54a3d3cf 399
45004d43
AD
400 $access_level = db_fetch_result($result, 0, "access_level");
401 $stored_articles = db_fetch_result($result, 0, "stored_articles");
f9cb39ac 402
45004d43
AD
403 // print "<tr><td>Username</td><td>$login</td></tr>";
404 // print "<tr><td>Access level</td><td>$access_level</td></tr>";
405 print "<tr><td>".__('Registered')."</td><td>$created</td></tr>";
406 print "<tr><td>".__('Last logged in')."</td><td>$last_login</td></tr>";
407 print "<tr><td>".__('Stored articles')."</td><td>$stored_articles</td></tr>";
f9cb39ac 408
45004d43
AD
409 $result = db_query($link, "SELECT COUNT(id) as num_feeds FROM ttrss_feeds
410 WHERE owner_uid = '$uid'");
f9cb39ac 411
45004d43 412 $num_feeds = db_fetch_result($result, 0, "num_feeds");
f9cb39ac 413
45004d43 414 print "<tr><td>".__('Subscribed feeds count')."</td><td>$num_feeds</td></tr>";
0ea4fb50 415
45004d43
AD
416 /*
417 $result = db_query($link, "SELECT
418 SUM(LENGTH(content)+LENGTH(title)+LENGTH(link)+LENGTH(guid)) AS db_size
419 FROM ttrss_user_entries,ttrss_entries
420 WHERE owner_uid = '$uid' AND ref_id = id");
0ea4fb50 421
45004d43 422 $db_size = round(db_fetch_result($result, 0, "db_size") / 1024);
0ea4fb50 423
45004d43
AD
424 print "<tr><td>Approx. used DB size</td><td>$db_size KBytes</td></tr>";
425 */
e5d758e3 426
45004d43 427 print "</table>";
e5d758e3 428
45004d43 429 print "<h1>".__('Subscribed feeds')."</h1>";
e5d758e3 430
45004d43
AD
431 $result = db_query($link, "SELECT id,title,site_url FROM ttrss_feeds
432 WHERE owner_uid = '$uid' ORDER BY title");
0ea4fb50 433
45004d43 434 print "<ul class=\"userFeedList\">";
0ea4fb50 435
45004d43 436 $row_class = "odd";
0ea4fb50 437
45004d43 438 while ($line = db_fetch_assoc($result)) {
0ea4fb50 439
45004d43 440 $icon_file = ICONS_URL."/".$line["id"].".ico";
ad815c71 441
45004d43
AD
442 if (file_exists($icon_file) && filesize($icon_file) > 0) {
443 $feed_icon = "<img class=\"tinyFeedIcon\" src=\"$icon_file\">";
444 } else {
445 $feed_icon = "<img class=\"tinyFeedIcon\" src=\"images/blank_icon.gif\">";
446 }
0ea4fb50 447
45004d43 448 print "<li class=\"$row_class\">$feed_icon&nbsp;<a href=\"".$line["site_url"]."\">".$line["title"]."</a></li>";
0ea4fb50 449
45004d43 450 $row_class = toggleEvenOdd($row_class);
0ea4fb50 451
45004d43 452 }
a283b8d1 453
45004d43
AD
454 if (db_num_rows($result) < $num_feeds) {
455 // FIXME - add link to show ALL subscribed feeds here somewhere
456 print "<li><img
457 class=\"tinyFeedIcon\" src=\"images/blank_icon.gif\">&nbsp;...</li>";
458 }
459
460 print "</ul>";
a283b8d1 461
45004d43 462 print "</div>";
0ea4fb50 463
45004d43
AD
464 print "<div align='center'>
465 <input type='submit' class='button'
466 onclick=\"closeInfoBox()\" value=\"Close this window\"></div>";
0ea4fb50 467
45004d43 468 // print "</body></html>";
0ea4fb50 469
45004d43 470 break; // user-details
ad815c71 471
45004d43
AD
472 case "pref-feed-browser":
473 module_pref_feed_browser($link);
474 break; // pref-feed-browser
c6232e43 475
45004d43
AD
476 case "publish":
477 $key = db_escape_string($_GET["key"]);
945c243e 478
45004d43
AD
479 $result = db_query($link, "SELECT login, owner_uid
480 FROM ttrss_user_prefs, ttrss_users WHERE
481 pref_name = '_PREFS_PUBLISH_KEY' AND
482 value = '$key' AND
483 ttrss_users.id = owner_uid");
945c243e 484
45004d43
AD
485 if (db_num_rows($result) == 1) {
486 $owner = db_fetch_result($result, 0, "owner_uid");
487 $login = db_fetch_result($result, 0, "login");
945c243e 488
45004d43 489 generate_syndicated_feed($link, $owner, -2, false);
945c243e 490
45004d43
AD
491 } else {
492 print "<error>User not found</error>";
493 }
494 break; // publish
18664970 495
45004d43
AD
496 case "rss":
497 $feed = db_escape_string($_GET["id"]);
498 $user = db_escape_string($_GET["user"]);
499 $pass = db_escape_string($_GET["pass"]);
500 $is_cat = $_GET["is_cat"] != false;
e1eb2147 501
45004d43
AD
502 $search = db_escape_string($_GET["q"]);
503 $match_on = db_escape_string($_GET["m"]);
504 $search_mode = db_escape_string($_GET["smode"]);
18664970 505
45004d43
AD
506 if (!$_SESSION["uid"] && $user && $pass) {
507 authenticate_user($link, $user, $pass);
508 }
18664970 509
45004d43
AD
510 if ($_SESSION["uid"] ||
511 http_authenticate_user($link)) {
945c243e 512
45004d43
AD
513 generate_syndicated_feed($link, 0, $feed, $is_cat,
514 $search, $search_mode, $match_on);
515 }
516 break; // rss
18664970 517
45004d43
AD
518 case "labelFromSearch":
519 $search = db_escape_string($_GET["search"]);
520 $search_mode = db_escape_string($_GET["smode"]);
521 $match_on = db_escape_string($_GET["match"]);
522 $is_cat = db_escape_string($_GET["is_cat"]);
523 $title = db_escape_string($_GET["title"]);
524 $feed = sprintf("%d", $_GET["feed"]);
88040f57 525
45004d43 526 $label_qparts = array();
88040f57 527
45004d43 528 $search_expr = getSearchSql($search, $match_on);
88040f57 529
45004d43
AD
530 if ($is_cat) {
531 if ($feed != 0) {
532 $search_expr .= " AND ttrss_feeds.cat_id = $feed ";
533 } else {
534 $search_expr .= " AND ttrss_feeds.cat_id IS NULL ";
535 }
88040f57 536 } else {
45004d43
AD
537 if ($search_mode == "all_feeds") {
538 // NOOP
539 } else if ($search_mode == "this_cat") {
88040f57 540
45004d43
AD
541 $tmp_result = db_query($link, "SELECT cat_id
542 FROM ttrss_feeds WHERE id = '$feed'");
88040f57 543
45004d43 544 $cat_id = db_fetch_result($tmp_result, 0, "cat_id");
88040f57 545
45004d43
AD
546 if ($cat_id > 0) {
547 $search_expr .= " AND ttrss_feeds.cat_id = $cat_id ";
548 } else {
549 $search_expr .= " AND ttrss_feeds.cat_id IS NULL ";
550 }
88040f57 551 } else {
45004d43 552 $search_expr .= " AND ttrss_feeds.id = $feed ";
88040f57 553 }
88040f57 554
45004d43 555 }
88040f57 556
45004d43 557 $search_expr = db_escape_string($search_expr);
88040f57 558
45004d43 559 print $search_expr;
88040f57 560
45004d43
AD
561 if ($title) {
562 $result = db_query($link,
563 "INSERT INTO ttrss_labels (sql_exp,description,owner_uid)
564 VALUES ('$search_expr', '$title', '".$_SESSION["uid"]."')");
565 }
566 break; // labelFromSearch
f3acc32e 567
45004d43
AD
568 case "getUnread":
569 $login = db_escape_string($_GET["login"]);
f3acc32e 570
45004d43 571 header("Content-Type: text/plain; charset=utf-8");
f3acc32e 572
45004d43 573 $result = db_query($link, "SELECT id FROM ttrss_users WHERE login = '$login'");
7e3634d9 574
45004d43
AD
575 if (db_num_rows($result) == 1) {
576 $uid = db_fetch_result($result, 0, "id");
577 print getGlobalUnread($link, $uid);
578 } else {
579 print "-1;User not found";
580 }
7e3634d9 581
45004d43
AD
582 $print_exec_time = false;
583 break; // getUnread
9cd7c995 584
45004d43
AD
585 case "digestTest":
586 header("Content-Type: text/plain");
587 print_r(prepare_headlines_digest($link, $_SESSION["uid"]));
588 $print_exec_time = false;
589 break; // digestTest
448b0abd 590
45004d43
AD
591 case "digestSend":
592 header("Content-Type: text/plain");
593 send_headlines_digests($link);
594 $print_exec_time = false;
595 break; // digestSend
7e3634d9 596
45004d43 597 } // Select action according to $op value.
f3acc32e 598
45004d43 599 // We close the connection to database.
4b3dff6e 600 db_close($link);
1cd17194 601?>
406d9489 602
7e3634d9 603<?php if ($print_exec_time) { ?>
1d3a17c7 604<!-- <?php echo sprintf("Backend execution time: %.4f seconds", getmicrotime() - $script_started) ?> -->
f3acc32e 605<?php } ?>