Userscript fix for fixing GitHub specifically in case anyone else wants it -
- Code: Select all
// ==UserScript==
// @name Fix GH Releases for SeaMonkey
// @description zulc22, 2022. Only use if you see errors related to window.customElements in the console on GitHub. 0BSD
// @include https://github.com/*/releases
// @version 1
// @grant none
// ==/UserScript==
function getFragments() {
[...document.getElementsByTagName("include-fragment")].forEach(async i => {
if (!i.hasAttribute("loaded")) {
src = i.getAttribute("src")
console.log(src)
i.innerHTML = await (await window.fetch(src)).text()
i.setAttribute("loaded", "")
}
})
}
setInterval(getFragments, 1000)