summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b95195e)
User may be set or changed by login.
-$Place = [
- 'user' => $User['name'],
- 'url' => htmlspecialchars($_SERVER['REQUEST_URI']),
-];
if ($Page) {
$found |= require "./$Page/index.php";
}
if ($Page) {
$found |= require "./$Page/index.php";
}
+$Place += [
+ 'user' => $User ? $User['name'] : '',
+ 'url' => htmlspecialchars($_SERVER['REQUEST_URI']),
+];
+
# global html
if (!$found) {
# global html
if (!$found) {