Skip to content

Instantly share code, notes, and snippets.

@myrdd
Created October 4, 2017 08:37
Show Gist options
  • Save myrdd/63d9b593818436dffce0b0a14ee32e0c to your computer and use it in GitHub Desktop.
Save myrdd/63d9b593818436dffce0b0a14ee32e0c to your computer and use it in GitHub Desktop.
RequestPolicy issue #847 – Greasemonkey
body {
border: dashed 2px magenta;
}
// ==UserScript==
// @name rpbug
// @namespace fr.kergoz-panic.watilin
// @description provides a bug test case for RequestPolicy
// @include http://www.example.com/
// @include https://www.example.com/
// @resource css rpbug.css
// @grant GM_getResourceURL
// ==/UserScript==
"use strict";
let $link = document.createElement("link");
$link.rel = "stylesheet";
$link.href = GM_getResourceURL("css");
(document.head || document.documentElement).appendChild($link);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment