Content deleted Content added
added encodeTitleForPath |
No edit summary |
||
Line 840:
end
-- Given an HTML-encoded title as first argument, e.g. one produced with {{ARTICLEPAGENAME}},
-- convert it into a properly URL path-encoded string
function p.encodeTitleForPath(
return mw.uri.encode(mw.text.decode(
end
|