6,834
edits
No edit summary |
No edit summary |
||
Line 976: | Line 976: | ||
--table.insert(out, "<div style='margin-top: 20px;'></div>") | --table.insert(out, "<div style='margin-top: 20px;'></div>") | ||
table.insert(out, "\n"..p.table( | local headers = { 'Symbol Name', 'Symbol Type', 'Container', 'Description' } | ||
table.insert(out, "\n"..p.table(headers, rows, { 120, 120, 400 }, false)) | |||
if args.type ~= 'event' then | if args.type ~= 'event' then |
edits