From 073b3e74adbbfa076dd8eff4e22eed72b0022d27 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Tue, 12 Jul 2022 12:47:00 -0400 Subject: [PATCH] fix indentation in wiki/index.php --- wiki/index.php | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/wiki/index.php b/wiki/index.php index 9b9431f..b445e05 100644 --- a/wiki/index.php +++ b/wiki/index.php @@ -27,18 +27,18 @@ if (!isset($_GET["page"]) || !file_exists("pages/{$_GET['page']}.md")) { "; include __DIR__.'/../header.php'; - $pages = []; - foreach (glob("pages/*.md") as $page) { - $yaml = $parser->parse(file_get_contents($page))->getYAML(); - if (!$yaml["published"]) continue; + $pages = []; + foreach (glob("pages/*.md") as $page) { + $yaml = $parser->parse(file_get_contents($page))->getYAML(); + if (!$yaml["published"]) continue; - $pages[] = [ - "title" => $yaml["title"], - "description" => $yaml["description"], - "name" => basename($page, ".md"), - ]; - } - usort($pages, function($a, $b) { return $a["title"] <=> $b["title"]; }); + $pages[] = [ + "title" => $yaml["title"], + "description" => $yaml["description"], + "name" => basename($page, ".md"), + ]; + } + usort($pages, function($a, $b) { return $a["title"] <=> $b["title"]; }); // render wiki index ?> @@ -53,7 +53,7 @@ if (!isset($_GET["page"]) || !file_exists("pages/{$_GET['page']}.md")) {

pages:

- +
@@ -63,9 +63,9 @@ if (!isset($_GET["page"]) || !file_exists("pages/{$_GET['page']}.md")) { - - - + + +
title
">
">