# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1652621255 -7200
# Node ID 5862ddf71e3c3ab41197f78b6138ac248c4d2256
# Parent  042de4f0076ef8d84d17e603a0040141195bcc93
teal/moduleapi: Describe timer wrapper

Since it's used in mod_cron

diff -r 042de4f0076e -r 5862ddf71e3c teal-src/module.d.tl
--- a/teal-src/module.d.tl	Mon May 09 22:40:45 2022 +0200
+++ b/teal-src/module.d.tl	Sun May 15 15:27:35 2022 +0200
@@ -62,7 +62,12 @@
 	send_iq : function (moduleapi, st.stanza_t, util_session, number)
 	broadcast : function (moduleapi, { string }, st.stanza_t, function)
 	type timer_callback = function (number, ... : any) : number
-	add_timer : function (moduleapi, number, timer_callback, ... : any)
+	record timer_wrapper
+		stop : function (timer_wrapper)
+		disarm : function (timer_wrapper)
+		reschedule : function (timer_wrapper, number)
+	end
+	add_timer : function (moduleapi, number, timer_callback, ... : any) : timer_wrapper
 	get_directory : function (moduleapi) : string
 	enum file_mode
 		"r" "w" "a" "r+" "w+" "a+"