Content deleted Content added
meh, no need to parse charinsert object as JSON |
No edit summary |
||
Line 11:
end
function p.
local content = mw.title.new("MediaWiki:Gadget-charinsert-core.js"):getContent()▼
local charinsert = content:match("charinsert: (%b{})")▼
if not charinsert then return "Could not find charinsert" end▼
▲ local codepoint_list = get_all_codepoints(charinsert)
local Unicode = require "Module:Unicode data"
Line 36 ⟶ 31:
return "{" .. table.concat(JSON, ",") .. "}"
end
function p.charinsert_char_names()
▲ local content = mw.title.new("MediaWiki:Gadget-charinsert-core.js"):getContent()
▲ local charinsert = content:match("charinsert: (%b{})")
▲ if not charinsert then return "Could not find charinsert" end
return p.print_names(charinsert)
end
|