From f3772236f9cc66daf521c368b167e1d9c3e7284c Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 12 Feb 2024 11:32:28 +0000
Subject: [PATCH] [pools] remove dead code

---
 ext/pools/theme.php | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/ext/pools/theme.php b/ext/pools/theme.php
index e3931d03..d508e8e2 100644
--- a/ext/pools/theme.php
+++ b/ext/pools/theme.php
@@ -168,13 +168,6 @@ class PoolsTheme extends Themelet
     {
         global $user;
 
-        // This could become a SHM_INPUT function that also accepts 'type' and other attributes.
-        $_hidden = function (string $name, $value) {
-            return INPUT(["type" => "hidden", "name" => $name, "value" => $value]);
-        };
-
-        $_input_id = $_hidden("pool_id", $pool->id);
-
         $editor = emptyHTML(
             SHM_SIMPLE_FORM(
                 "pool/import/{$pool->id}",