ghwikipp: build_categories: Use "gfm" instead of "markdown_github" too.

From 6d334a5a7ccaf496c6b4fbc91057200a785b6fd8 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Mon, 13 May 2024 20:42:37 -0400
Subject: [PATCH] build_categories: Use "gfm" instead of "markdown_github" too.

---
 build_categories.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build_categories.php b/build_categories.php
index 41abcdb..2c6c9c4 100755
--- a/build_categories.php
+++ b/build_categories.php
@@ -9,7 +9,7 @@
 
 // !!! FIXME: put this in a common.php file or something.
 $supported_formats = [
-    'md' => 'markdown_github',
+    'md' => 'gfm',
     'mediawiki' => 'mediawiki'
 ];
 
@@ -81,7 +81,7 @@ function build_category_lists($srcdir)
                             $count = 0;
                             if ($from_format == "mediawiki") {
                                 $c = preg_replace('/^\[\[(.*?)\]\]$/', '$1', $c, 1, $count);
-                            } else if ($from_format == "markdown_github") {
+                            } else if ($from_format == "gfm") {
                                 $c = preg_replace('/^\[(.*?)\]\(.*?\)$/', '$1', $c, 1, $count);
                             }
                             // currently we have pages that don't have these wikilinked, so don't check $count==1 here for now.