Remove disused function

tbar0970 · Nov 15, 2024 · c3de61e · c3de61e
1 parent 7df4557
commit c3de61e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/upgrades/2024-upgrade-to-2.36-after.php b/upgrades/2024-upgrade-to-2.36-after.php
@@ -12,10 +12,6 @@
 define('JETHRO_ROOT', dirname(dirname(__FILE__)));
 set_include_path(get_include_path().PATH_SEPARATOR.JETHRO_ROOT);
 
-function fail($msg) {
-	trigger_error($msg, E_USER_ERROR);
-}
-
 is_readable(JETHRO_ROOT.'/conf.php') || fail('Jethro configuration file not found.  You need to copy conf.php.sample to conf.php and edit it before Jethro can run', E_USER_ERROR);
 require_once JETHRO_ROOT.'/conf.php';
 define('DB_MODE', 'private');