pile/www/_templates/front_wrap.php

56 lines
1.6 KiB
PHP
Raw Normal View History

2017-02-04 22:10:59 +01:00
<!DOCTYPE html>
<html lang="en">
2018-07-31 15:58:23 +02:00
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
<title>The /-\ pile</title>
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
<link rel="stylesheet" type="text/css" href="assets/main.css">
2019-05-17 10:02:04 +02:00
<link rel="icon" type="image/png" href="/favicon.png">
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
</head>
<body>
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
<div id="sidebar">
<div id="sidebar-head">
<h1><a href="..">The /-\ pile</a></h1>
</div>
<div id="sidebar-taglist">
<ul>
<li id="sidebar-taglist-top"><a href="?tag=*">ALL (<?= $doc_count ?>)</a></li>
2018-09-17 11:25:56 +02:00
<?php if ($none_count > 0): ?>
2018-07-31 15:58:23 +02:00
<li id="sidebar-taglist-top"><a href="?tag=_">UNTAGGED (<?= $none_count ?>)</a></li>
2018-09-17 11:25:56 +02:00
<?php endif; ?>
<?php
2018-07-31 15:58:23 +02:00
foreach ($tags as $tag) {
if ($tag['count'] > 0) {
echo '<li><a href="?tag=' . $tag['id'] . "\">" . $tag['name'] . " (" . $tag['count'] . ")</a></li>";
}
2018-07-31 15:58:23 +02:00
}
?>
</ul>
</div>
</div>
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
<div id="content">
<?php echo $content ?>
</div>
2017-02-04 22:10:59 +01:00
2018-07-31 15:58:23 +02:00
<div id="login">
<?php if ($logged): ?>
<form method="get" action="admin.php">
<button type="submit" id="login-button">enter admin interface</button>
</form>
2018-09-17 11:25:56 +02:00
<?php else: ?>
2018-07-31 15:58:23 +02:00
<form method="post" action="admin.php">
<input type="text" name="username" id="login-user"></input>
<input type="password" name="password" id="login-pass"></input>
<button type="submit" id="login-button">></button>
</form>
2018-09-17 11:25:56 +02:00
<?php endif; ?>
2018-07-31 15:58:23 +02:00
</div>
2017-02-04 22:10:59 +01:00
</body>
2017-03-07 09:38:47 +01:00
</html>