2020-11-23 18:49:37 +08:00
|
|
|
|
2020-11-24 15:17:56 +08:00
|
|
|
condition = function () {
|
2020-11-23 18:49:37 +08:00
|
|
|
var href = window.location.href;
|
|
|
|
|
var content = document.documentElement.innerHTML;
|
2020-11-24 15:17:56 +08:00
|
|
|
return href.startsWith("https://playerduo.com") && content.startsWith('<head></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">')
|
2020-11-23 18:49:37 +08:00
|
|
|
}
|
