# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1701278538 0
# Node ID e8429d2faea43ab1a9f92d8bdd603479347f1133
# Parent  0573401b0f9f7fcd26de54ee4b0cad3f662cc863
mod_admin_shell: Remove timer:info() (it's been debug:timers() for some time)

diff -r 0573401b0f9f -r e8429d2faea4 plugins/mod_admin_shell.lua
--- a/plugins/mod_admin_shell.lua	Wed Nov 29 17:19:53 2023 +0000
+++ b/plugins/mod_admin_shell.lua	Wed Nov 29 17:22:18 2023 +0000
@@ -2159,9 +2159,6 @@
 	return true, ("%d runners pending"):format(c);
 end
 
--- COMPAT: debug:timers() was timer:info() for some time in trunk
-def_env.timer = { info = def_env.debug.timers };
-
 def_env.stats = new_section("Commands to show internal statistics");
 
 local short_units = {