remove scripts that can be replaced by EasyList-style filters
This commit is contained in:
parent
50434b3b0b
commit
f79b110025
3 changed files with 0 additions and 36 deletions
|
@ -1,12 +0,0 @@
|
|||
// ==UserScript==
|
||||
// @name Discord thing
|
||||
// @namespace https://chor.date
|
||||
// @description A script to remove role icons, server boost icons, and super reaction buttons.
|
||||
// @match https://discord.com/*
|
||||
// @icon https://discord.com/assets/847541504914fd33810e70a0ea73177e.ico
|
||||
// @version 2023.06.23.153650
|
||||
// ==/UserScript==
|
||||
|
||||
const style = document.createElement('style');
|
||||
style.textContent = '[class*=roleIcon], [class*=premiumIcon], [aria-label="Add Super Reaction"] { display:none; }';
|
||||
document.head.appendChild(style);
|
|
@ -1,12 +0,0 @@
|
|||
// ==UserScript==
|
||||
// @name TV Tropes thing
|
||||
// @namespace https://chor.date
|
||||
// @description A script to remove the "This is page #x you have viewed this month without ads" banner.
|
||||
// @match https://tvtropes.org/*
|
||||
// @icon https://static.tvtropes.org/img/icons/favicon.ico
|
||||
// @version 2020.08.24.031122
|
||||
// ==/UserScript==
|
||||
|
||||
const style = document.createElement('style');
|
||||
style.textContent = 'div[style*="z-index: 100001"] { display: none; }';
|
||||
document.body.appendChild(style);
|
|
@ -1,12 +0,0 @@
|
|||
// ==UserScript==
|
||||
// @name Wikipedia thing
|
||||
// @namespace https://chor.date
|
||||
// @description A script to remove the fundraising banner.
|
||||
// @match https://*.wikipedia.org/*
|
||||
// @icon https://en.wikipedia.org/static/favicon/wikipedia.ico
|
||||
// @version 2022.11.09.154900
|
||||
// ==/UserScript==
|
||||
|
||||
const style = document.createElement('style');
|
||||
style.textContent = '#frb-main, #frb-inline { display: none !important; }';
|
||||
document.body.appendChild(style);
|
Loading…
Reference in a new issue