From 33591ce0a3019fdf3a4c8634a993854b5d80db5e Mon Sep 17 00:00:00 2001 From: Cadence Ember Date: Tue, 26 Sep 2023 00:51:55 +1300 Subject: [PATCH 1/2] Add Minecraft to independent wikis --- .gitignore | 2 ++ src/extwiki-data.rkt | 19 +++++++++++++++++++ 2 files changed, 21 insertions(+) diff --git a/.gitignore b/.gitignore index 17b94c5..1faa8f2 100644 --- a/.gitignore +++ b/.gitignore @@ -16,3 +16,5 @@ compiled # Personal /config.ini +misc +storage diff --git a/src/extwiki-data.rkt b/src/extwiki-data.rkt index 8878845..ead1696 100644 --- a/src/extwiki-data.rkt +++ b/src/extwiki-data.rkt @@ -61,6 +61,16 @@ ("Browser Extension" . "https://runescape.wiki/w/RuneScape:Finding_the_wikis_with_ease#Extensions")) (λ (props) '())) + 'Minecraft + (extwiki-group^ + "Minecraft" + '(("Post-Move FAQ" . "https://minecraft.wiki/w/Minecraft_Wiki:Moving_from_Fandom") + ("Pre-Move Discussion" . "https://minecraft.fandom.com/wiki/Minecraft_Wiki:Moving_from_Fandom") + ("In the media: PCGamer" . "https://www.pcgamer.com/official-minecraft-wiki-editors-so-furious-at-fandoms-degraded-functionality-and-popups-theyre-overwhelmingly-voting-to-leave-the-site/") + ("In the media: PCGamesN" . "https://www.pcgamesn.com/minecraft/wiki-fandom")) + (λ (props) + '(p "The wiki was founded by Citricsquid on July 16th, 2009 as a way to document information from Minecraft. Since November 15th, 2010, it has been hosted by Curse Media. On December 12th, 2018, it moved to Fandom as it purchased Curse Media. Since September 24, 2023, it forked from Fandom and has been hosted by Weird Gloop."))) + 'empty (extwiki-group^ "Misc" @@ -400,6 +410,15 @@ `((p "“Fandom bought Gamepedia and forced a migration, with their restricted, ad-heavy appearance, and other annoying features that we could not remove, the wiki grew slow and annoying to use, especially for logged out users.") (p "“We decided to move away from Fandom to Wiki.gg, which returns the wiki to how it used to be on gamepedia, without the ads spamming and forced videos.”")))) + (extwiki^ + '("minecraft") 'default + 'Minecraft + "The Minecraft Wiki" + "https://minecraft.wiki/w/Minecraft_Wiki" + "https://minecraft.wiki/images/Wiki.png" + (λ (props) + `())) + ;; fandom wikinames * empty * empty * Name * Home Page (extwiki^ '("aether") 'empty 'empty "Aether Wiki" "https://aether.wiki.gg/wiki/Aether_Wiki" #f #f) (extwiki^ '("before-darkness-falls") 'empty 'empty "Before Darkness Falls Wiki" "https://beforedarknessfalls.wiki.gg/wiki/Before_Darkness_Falls_Wiki" #f #f) From b8ccd6cc3e691b6b58a2156c2b210ab5bb433423 Mon Sep 17 00:00:00 2001 From: Cadence Ember Date: Tue, 3 Oct 2023 18:54:07 +1300 Subject: [PATCH 2/2] Improve theme layout on non-flex browsers --- src/application-globals.rkt | 4 ++-- static/main.css | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/application-globals.rkt b/src/application-globals.rkt index 10b4530..de60820 100644 --- a/src/application-globals.rkt +++ b/src/application-globals.rkt @@ -240,7 +240,7 @@ (div (@ (class "bw-ss__container") (id "bw-pr-search-suggestions")))) (div (@ (class "bw-theme__select")) (span (@ (class "bw-theme__main-label")) "Page theme") - (div (@ (class "bw-theme__items")) + (span (@ (class "bw-theme__items")) ,@(for/list ([theme '(default light dark)]) (define class (if (equal? theme (user-cookies^-theme user-cookies)) @@ -251,7 +251,7 @@ req (struct-copy user-cookies^ user-cookies [theme theme]))) (class ,class)) - (div (@ (class "bw-theme__icon-container")) + (span (@ (class "bw-theme__icon-container")) ,(hash-ref theme-icons theme)) ,(format "~a" theme))))))) (div (@ (id "content") #;(class "page-content")) diff --git a/static/main.css b/static/main.css index 1641886..cb32df5 100644 --- a/static/main.css +++ b/static/main.css @@ -332,6 +332,7 @@ a.ext-audiobutton { /* see hearthstone/wiki/Diablo_(Duels_hero) */ display: flex; } .bw-theme__item { + display: inline-block; display: flex; align-items: baseline; padding: 2px;