Module:Redirect: Difference between revisions
Jump to navigation
Jump to search
handle percent-encoding like MediaWiki does, from sandbox
m (1 revision imported) |
wp>Jackmcbarn (handle percent-encoding like MediaWiki does, from sandbox) |
||
| Line 17: | Line 17: | ||
-- redirect. | -- redirect. | ||
function p.getTargetFromText(text) | function p.getTargetFromText(text) | ||
local target = string.match( | |||
text, | text, | ||
"^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)%]%]" | "^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)%]%]" | ||
| Line 24: | Line 24: | ||
"^%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 | end | ||