Modul:URLutil: Unterschied zwischen den Versionen
2015-12-05
w>PerfektesChaos (updates) |
w>PerfektesChaos (2015-12-05) |
||
Zeile 1: | Zeile 1: | ||
--[=[ | local URLutil = { suite = "URLutil", | ||
serial = "2015-12-05" }; | |||
--[=[ | |||
Utilities for URL etc. on www. | Utilities for URL etc. on www. | ||
* getAuthority() | * getAuthority() | ||
Zeile 36: | Zeile 38: | ||
IPv6 URL (bracketed) not yet implemented; might need Wikintax escaping anyway. | IPv6 URL (bracketed) not yet implemented; might need Wikintax escaping anyway. | ||
]=] | ]=] | ||
Zeile 143: | Zeile 140: | ||
local r = URLutil.getAuthority( url ) | local r = URLutil.getAuthority( url ) | ||
if r then | if r then | ||
r = mw.ustring.match( r, "^([%w%.%%-]+):?[%d]*$" ) | r = mw.ustring.match( r, "^([%w%.%%_-]+):?[%d]*$" ) | ||
end | end | ||
return r | return r |