From ea181def2fab066dce5df6bb75866365572bd117 Mon Sep 17 00:00:00 2001 From: Travis Briggs Date: Sun, 12 Apr 2020 01:09:33 -0700 Subject: [PATCH 1/2] Sort wiki articles by actual title instead of filename --- wiki/index.php | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/wiki/index.php b/wiki/index.php index 698a577..4b36f82 100644 --- a/wiki/index.php +++ b/wiki/index.php @@ -7,14 +7,18 @@ include __DIR__."/../header.php";

here's the articles on our wiki:

Date: Sun, 12 Apr 2020 01:22:39 -0700 Subject: [PATCH 2/2] Originally used the wrong sort --- wiki/index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wiki/index.php b/wiki/index.php index 4b36f82..000e940 100644 --- a/wiki/index.php +++ b/wiki/index.php @@ -14,7 +14,7 @@ include __DIR__."/../header.php"; $title = preg_match("/title: (.*)/i", file_get_contents($file), $matches) ? $matches[1] : $article; $article_to_title[$article] = $title; } - sort($article_to_title); + asort($article_to_title); ?> $title) { ?>