# HG changeset patch # User Kim Alvefur # Date 1699868424 -3600 # Node ID 36284c879e2fdeb442561b3d89615f7192b7a160 # Parent f0fc6e7cc4debee8c7aadd3308edddd7b2fda66e moduleapi: Update Teal spec Updates for 65fb0d7a2312::59c3d775c7fa diff -r f0fc6e7cc4de -r 36284c879e2f teal-src/module.d.tl --- a/teal-src/module.d.tl Mon Nov 13 09:58:56 2023 +0100 +++ b/teal-src/module.d.tl Mon Nov 13 10:40:24 2023 +0100 @@ -34,8 +34,11 @@ get_option : config_getter get_option_scalar : config_getter get_option_string : config_getter - get_option_number : config_getter + get_option_number : function (moduleapi, string, number, number, number) : number + get_option_integer : function (moduleapi, string, integer, integer, integer) : integer get_option_boolean : config_getter + get_option_enum : function (moduleapi, string, ... : A) : A + get_option_period : function (moduleapi, string|number, string|number, string|number, string|number) : number record util_array -- TODO import def { any }