{$name}
{$description}
";
} else {
return "";
}
}
file_put_contents($_SERVER['DOCUMENT_ROOT'] . "/includes/telemetry.json", json_encode($db, JSON_PRETTY_PRINT));
?>
">
<?php
if (isset($_TITLE)) {
echo($_TITLE . " — ");
}
?><?= l("Minteck's space", "L'espace de Minteck") ?>