Module:Redirect/sandbox: Difference between revisions

Revision as of 10:44, 7 September 2021

Revision as of 11:32, 7 September 2021

Line 12:

return nil

end

end

-- Gets the name of a page that a redirect leads to, or nil if it isn't a

-- redirect.

function p.getTargetFromText(text)

local target = string.match(

text,

"^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)%]%]"

) or string.match(

text,

"^%s*#[Rr][Ee][Dd][Ii][Rr][Ee][Cc][Tt]%s*:?%s*%[%[([^%[%]|]-)|[^%[%]]-%]%]"

)

return target and mw.uri.decode(target, 'PATH')

end