git.shiar.nl
/
minimedit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edit/page: input replacement of breaking space after abbreviations
[minimedit.git]
/
login
/
post
/
index.php
diff --git
a/login/post/index.php
b/login/post/index.php
index 747683f08e0d388f1df0f4578bac6a5e6efc24ab..0beb42ff8b618f6e5cd349370bffc7067d572a6f 100644
(file)
--- a/
login/post/index.php
+++ b/
login/post/index.php
@@
-1,5
+1,5
@@
<?php
<?php
-if (!$User) {
+if (!$User
->login
) {
http_response_code(303);
$target = urlencode($_SERVER['REQUEST_URI']);
header("Location: /login?goto=$target");
http_response_code(303);
$target = urlencode($_SERVER['REQUEST_URI']);
header("Location: /login?goto=$target");
@@
-31,4
+31,4
@@
else {
$Place['pass'] = '<em>onbekend</em>';
}
$Place['pass'] = '<em>onbekend</em>';
}
-print '<
p class="nav right"><a href="javascript:window.print()">Print</a></p
>'."\n";
+print '<
aside class="nav"><a href="javascript:window.print()">Print</a></aside
>'."\n";