Diff

core/usermanager.lua @ 8555:4f0f5b49bb03

vairious: Add annotation when an empty environment is set [luacheck]
author Kim Alvefur <zash@zash.se>
date Wed, 28 Feb 2018 20:06:26 +0100
parent 8192:4354f556c5db
child 8717:9ddd0fbbe53a
line wrap: on
line diff
--- a/core/usermanager.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/core/usermanager.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -24,6 +24,7 @@
 local default_provider = "internal_plain";
 
 local _ENV = nil;
+-- luacheck: std none
 
 local function new_null_provider()
 	local function dummy() return nil, "method not implemented"; end;