diff options
Diffstat (limited to 'glossary/index.php')
-rw-r--r-- | glossary/index.php | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/glossary/index.php b/glossary/index.php new file mode 100644 index 0000000..10996fb --- /dev/null +++ b/glossary/index.php @@ -0,0 +1,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"; ?>
\ No newline at end of file |