Closed erosman closed 4 years ago
or even https://*.arte.tv/*
Few years ago, i set this pattern, because of both http and https being used.
Nowadays it seems the encrypted protocol is their default.
I just changed it. If you find any reason to rollback to `://.arte.tv/` please comment below.
updated script: https://raw.githubusercontent.com/GuGuss/ARTE-7-Downloader/master/src/arte-downloader.js
ref:
// @include *//*.arte.tv/*
The subject has come up and I would to verify whether
*//*.arte.tv/*
is an acceptable URL pattern for all script managers.I have not seen the pattern documented. The documented pattern is with added
:
e.g.*://*.arte.tv/*