equal
deleted
inserted
replaced
1 cache = true |
1 cache = true |
|
2 codes = true |
2 allow_defined_top = true |
3 allow_defined_top = true |
3 max_line_length = 150 |
4 max_line_length = 150 |
4 codes = true |
|
5 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV" }; |
5 ignore = { "411/err", "421/err", "411/ok", "421/ok", "211/_ENV" }; |
6 read_globals = { |
6 read_globals = { |
7 "prosody", |
7 "prosody", |
8 "import", |
8 "import", |
9 |
9 |
14 "module.event_handlers", |
14 "module.event_handlers", |
15 "module.reloading", |
15 "module.reloading", |
16 "module.saved_state", |
16 "module.saved_state", |
17 "module.global", |
17 "module.global", |
18 "module.path", |
18 "module.path", |
|
19 "module.items", |
19 |
20 |
20 -- Module API |
21 -- Module API |
21 "module.add_extension", |
22 "module.add_extension", |
22 "module.add_feature", |
23 "module.add_feature", |
23 "module.add_identity", |
24 "module.add_identity", |
24 "module.add_item", |
25 "module.add_item", |
25 "module.add_timer", |
26 "module.add_timer", |
|
27 "module.weekly", |
|
28 "module.daily", |
|
29 "module.hourly", |
26 "module.broadcast", |
30 "module.broadcast", |
27 "module.context", |
31 "module.context", |
28 "module.depends", |
32 "module.depends", |
29 "module.fire_event", |
33 "module.fire_event", |
30 "module.get_directory", |
34 "module.get_directory", |
36 "module.get_option_array", |
40 "module.get_option_array", |
37 "module.get_option_boolean", |
41 "module.get_option_boolean", |
38 "module.get_option_inherited_set", |
42 "module.get_option_inherited_set", |
39 "module.get_option_number", |
43 "module.get_option_number", |
40 "module.get_option_path", |
44 "module.get_option_path", |
|
45 "module.get_option_scalar", |
41 "module.get_option_set", |
46 "module.get_option_set", |
42 "module.get_option_string", |
47 "module.get_option_string", |
43 "module.get_status", |
48 "module.get_status", |
44 "module.handle_items", |
49 "module.handle_items", |
45 "module.hook", |
50 "module.hook", |
48 "module.hook_tag", |
53 "module.hook_tag", |
49 "module.load_resource", |
54 "module.load_resource", |
50 "module.log", |
55 "module.log", |
51 "module.log_status", |
56 "module.log_status", |
52 "module.measure", |
57 "module.measure", |
53 "module.measure_event", |
|
54 "module.measure_global_event", |
|
55 "module.measure_object_event", |
|
56 "module.metric", |
58 "module.metric", |
57 "module.open_store", |
59 "module.open_store", |
58 "module.provides", |
60 "module.provides", |
59 "module.remove_item", |
61 "module.remove_item", |
60 "module.require", |
62 "module.require", |