Diff

util/xml.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 7239:c9af793b2d8f
child 11127:1d9cd1abc660
child 12181:783056b4e448
line wrap: on
line diff
--- a/util/xml.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/xml.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -5,6 +5,7 @@
 local t_remove = table.remove;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local parse_xml = (function()
 	local ns_prefixes = {