util/events.lua
changeset 8558 4f0f5b49bb03
parent 8385 e5d00bf4a4d5
child 8762 9e839fb4541a
--- a/util/events.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/events.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -15,6 +15,7 @@
 local next = next;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local function new()
 	-- Map event name to ordered list of handlers (lazily built): handlers[event_name] = array_of_handler_functions