blob: 10996fb9b5f2b3debe18eb245f41ef21705f23e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<?php
$_TITLE = "Glossaire"; require_once $_SERVER['DOCUMENT_ROOT'] . "/private/header.php";
$config = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/private/config.json"), true) ?>
<h1 style="text-align:center;margin-top:50px;">TimeTracker</h1>
<h2 style="text-align:center;">Glossaire<br><small><small><small><a href="/" title="Retourner à la page précédente">[< Retour]</a></small></small></small></h2>
<br>
<hr>
<div class="container">
<ul class="list-group">
<?php $glossary = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/private/glossary.json"), true); uksort($glossary, 'strcasecmp'); foreach ($glossary as $word => $def): ?>
<li class="list-group-item" id="<?= $word ?>"><strong><?= $word ?></strong> : <?= preg_replace("@\[([a-zA-Z0-9 ,.;:|!?*\$€<>(){}'\"~éèàêâùô¡¿§µ%£#_`\@=+-/]*)\]@", "<a href=\"/glossary/#$1\">$1</a>", $def) ?></li>
<?php endforeach; ?>
</ul>
</div>
<br>
<?php require_once $_SERVER['DOCUMENT_ROOT'] . "/private/footer.php"; ?>
|