From 78f21dd19ac0a05347eaed4d643cc823717d408e Mon Sep 17 00:00:00 2001 From: Adrthegamedev <46429482+Adrthegamedev@users.noreply.github.com> Date: Mon, 3 Jul 2023 13:00:05 +0200 Subject: [PATCH] (an attempt to) Add wikidot to wiki generators list --- .../processor/logic/DocumentGeneratorExtractor.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/code/processes/converting-process/src/main/java/nu/marginalia/converting/processor/logic/DocumentGeneratorExtractor.java b/code/processes/converting-process/src/main/java/nu/marginalia/converting/processor/logic/DocumentGeneratorExtractor.java index 0fa3de61..ac1c15a2 100644 --- a/code/processes/converting-process/src/main/java/nu/marginalia/converting/processor/logic/DocumentGeneratorExtractor.java +++ b/code/processes/converting-process/src/main/java/nu/marginalia/converting/processor/logic/DocumentGeneratorExtractor.java @@ -91,6 +91,9 @@ public class DocumentGeneratorExtractor { if (tag.html().contains("window.lemmyConfig")) { return DocumentGenerator.of("lemmy"); } + if (tag.html().contains("URL_DOMAIN = 'wikidot.com'")) { + return DocumentGenerator.of("wikidot"); + } if (tag.attr("src").contains("wp-content")) { return DocumentGenerator.of("wordpress", "wordpress-sneaky"); } @@ -193,7 +196,7 @@ public class DocumentGeneratorExtractor { case "vbulletin", "phpbb", "mybb", "nodebb", "flarum", "tribe", "discourse", "lemmy", "xenforo", "invision" -> GeneratorType.FORUM; - case "mediawiki", "dokuwiki", "sharepoint" + case "mediawiki", "dokuwiki", "wikidot", "sharepoint" -> GeneratorType.WIKI; case "pandoc", "mkdocs", "doxygen", "javadoc" -> GeneratorType.DOCS;