<?php
function title($title = NULL) {
global $set;
if ($set['web'] == false) {
if ($title == NULL) {
$title = $set['title'];
}
echo "<div class='title'>";
echo "$title";
echo "<span style='float : right;'>n";
global $user;
if (isset($user) && $user['set_times'] == 1) {
echo date("d.m.Y [H:i]");
}
echo "</span>n";
echo "</div>n";
}
}