joe7575
/
techpack
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

unpack, string.split, and string.trim added

master
Joachim Stolberg 2019-01-30 20:56:16 +01:00
parent 0d12261620
commit 92a5a6e6ff
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
safer_lua/environ.lua
View File

@ -57,9 +57,12 @@ local BASE_ENV = {
rep = string.rep, rep = string.rep,
sub = string.sub, sub = string.sub,
upper = string.upper, upper = string.upper,
split = string.split,
trim = string:trim,
}, },
tonumber = tonumber, tonumber = tonumber,
tostring = tostring, tostring = tostring,
unpack = unpack,
type = type, type = type,
ticks = 0, ticks = 0,
} }