// is a wiki-internal URL prefix that means 'take the url prefix (https:// or http:// usually) and replace this // with it'. But we don't handle URLs in-between like this, it doesn't make any sense for us to do so without a website that a user is accessing, so for now let's just allow // links as valid links.
Parallel change on the Wiktextract side of things in clean_values, where we start to use URL_STARTS to check for valid URLs, too.
//
is a wiki-internal URL prefix that means 'take the url prefix (https:// or http:// usually) and replace this//
with it'. But we don't handle URLs in-between like this, it doesn't make any sense for us to do so without a website that a user is accessing, so for now let's just allow//
links as valid links.Parallel change on the Wiktextract side of things in clean_values, where we start to use URL_STARTS to check for valid URLs, too.