From 0c90bed397e62d2fb9613c4ca4a492404256e8f4 Mon Sep 17 00:00:00 2001
From: Astro <astro@spaceboyz.net>
Date: Thu, 23 Jun 2022 18:31:01 +0200
Subject: [PATCH] conf/net/serv: rename wiki to mediawiki

---
 config/net/serv.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/net/serv.nix b/config/net/serv.nix
index ca2c0f1..611ef92 100644
--- a/config/net/serv.nix
+++ b/config/net/serv.nix
@@ -70,7 +70,7 @@
       staging-data-hoarder = "172.20.73.64";
       oparl = "172.20.73.65";
       hedgedoc = "172.20.73.66";
-      wiki = "172.20.73.67";
+      mediawiki = "172.20.73.67";
     };
     subnets6.dn42 = "fd23:42:c3d2:582::/64";
     subnets6.up4 = "2a00:8180:2c00:282::/64";
@@ -138,7 +138,7 @@
       staging-data-hoarder = "2a00:8180:2c00:282:2de:5bff:fef9:e23d";
       oparl = "2a00:8180:2c00:282:2de:9aff:fece:3879";
       hedgedoc = "2a00:8180:2c00:282::6";
-      wiki = "2a00:8180:2c00:282::43";
+      mediawiki = "2a00:8180:2c00:282::43";
     };
   };