3
$help_title = _("Help");
6
echo "<h1>Advanced Data Extraction Inftanstracture</h1>";
7
if (file_exists("VERSION")) {
8
$stat = stat("VERSION");
9
$date = date("r", $stat['mtime']);
10
echo "<h2>Version: " . file_get_contents("VERSION") . "</h2>";
11
echo "<h3>Date: $date</h3>";
b'\\ No newline at end of file'