add webfinger tool

.well-known/webfinger/index.php

@@ -0,0 +1,30 @@
+<?php
+
+$trims = [
+    "acct:",
+    "@tilde.team",
+    "@fuckup.club",
+    "@nand.sh",
+    "@ttm.sh",
+    "@tild3.org",
+    "@tilde.chat",
+    "@tilde.news",
+    "@tilde.site",
+    "@tildeteam.net",
+    "@tildeteam.org",
+    "@tildeverse.net",
+    "@tildeverse.org",
+];
+
+$user = str_replace($trims, "", $_GET["resource"]);
+$webfinger_file = "/home/$user/.webfinger.json";
+
+if (file_exists($webfinger_file))
+{
+    header("Content-type: application/jrd+json");
+    echo file_get_contents($webfinger_file);
+}
+else
+    header("Status: 404");
+
+die();