From 9f5dcbd0ab844e4a959782c1cbab83a2d26190ed Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Tue, 14 Jun 2022 19:12:00 -0400 Subject: [PATCH] make /wiki a --- wiki/index.php | 21 +++++++++++++++------ wiki/pages/lua.md | 1 + wiki/pages/mailing_lists.md | 2 +- wiki/pages/teaching-and-learning.md | 15 +++++++-------- 4 files changed, 24 insertions(+), 15 deletions(-) diff --git a/wiki/index.php b/wiki/index.php index ff20574..b64a0b8 100644 --- a/wiki/index.php +++ b/wiki/index.php @@ -32,12 +32,21 @@ if (!isset($_GET["page"]) || !file_exists("pages/{$_GET['page']}.md")) {

pages:

- - parse(file_get_contents($page))->getYAML(); - if (!$yaml["published"]) continue; ?> - ">
- +
+ + + + + + + + parse(file_get_contents($page))->getYAML(); + if (!$yaml["published"]) continue; ?> + + + +
titledescription
">