15.207
Bearbeitungen
Modul:Wiki: Unterschied zwischen den Versionen
+ pageexists()
(+ Kommentare) |
(+ pageexists()) |
||
| Zeile 16: | Zeile 16: | ||
local split = str.split2(pagename, "/") | local split = str.split2(pagename, "/") | ||
return split[#split] -- letztes Element in der table nach letztem Slash | return split[#split] -- letztes Element in der table nach letztem Slash | ||
end | |||
function p.pageexists(page) | |||
return mw.title.new(page).exists | |||
end | end | ||
return p | return p | ||