util/xml.lua
changeset 8558 4f0f5b49bb03
parent 7242 c9af793b2d8f
child 11131 1d9cd1abc660
child 12185 783056b4e448
equal deleted inserted replaced
8557:12a68e0d0ecf 8558:4f0f5b49bb03
     3 local lxp = require "lxp";
     3 local lxp = require "lxp";
     4 local t_insert = table.insert;
     4 local t_insert = table.insert;
     5 local t_remove = table.remove;
     5 local t_remove = table.remove;
     6 
     6 
     7 local _ENV = nil;
     7 local _ENV = nil;
       
     8 -- luacheck: std none
     8 
     9 
     9 local parse_xml = (function()
    10 local parse_xml = (function()
    10 	local ns_prefixes = {
    11 	local ns_prefixes = {
    11 		["http://www.w3.org/XML/1998/namespace"] = "xml";
    12 		["http://www.w3.org/XML/1998/namespace"] = "xml";
    12 	};
    13 	};