Open main menu

Changes

Module:Redirect

57 bytes added, 02:51, 26 September 2020
handle percent-encoding like MediaWiki does, from sandbox
-- redirect.
function p.getTargetFromText(text)
return local target = string.match(
text,
"^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)%]%]"
"^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)|[^%[%]]-%]%]"
)
return target and mw.uri.decode(target, 'PATH')
end
Anonymous user