From 886a645a2c89db5b31c32c6bcdcdbdde94ba23b4 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 6 Jan 2024 20:55:21 +0000
Subject: [PATCH] [ext_manager] no need to clear cached extensions - the cache
 key changes when the enabled list changes

---
 ext/ext_manager/main.php | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index c66a3edd..9bd995b5 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -146,10 +146,5 @@ class ExtManager extends Extension
             '<' . '?php' . "\n" .
             'define("EXTRA_EXTS", "' . implode(",", $extras) . '");' . "\n"
         );
-
-        // when the list of active extensions changes, we can be
-        // pretty sure that the list of who reacts to what will
-        // change too
-        _clear_cached_event_listeners();
     }
 }