-<?
+<?php
require_once "sessions.php";
require_once "backend-rpc.php";
db_close($link);
?>
-<!-- <?= sprintf("Backend execution time: %.4f seconds", getmicrotime() - $script_started) ?> -->
+<!-- <?php echo sprintf("Backend execution time: %.4f seconds", getmicrotime() - $script_started) ?> -->