// ==UserScript==
// @name           Reddit - Add reveddit links
// @icon           https://www.google.com/s2/favicons?domain=www.reddit.com
// @description    Adds a reveddit.com link to every comment and post on old Reddit, the site displays removed and deleted comments/posts.
// @author         Arudarin
// @version        1.0.2
// @namespace      Violentmonkey Scripts
// @match          *://*.reddit.com/r/*/comments/*
// @grant          GM_addStyle
// @run-at         document-start
// @require        https://unpkg.com/jquery@3/dist/jquery.min.js
// @require        https://greasyfork.org/scripts/7602-mutation-observer/code/mutation-observer.js
// ==/UserScript==
; ($ => {
'use strict'
// --------------------------------------------------------------------------
const url = new URL(location.href)
url.host = 'www.reveddit.com'
const observer = new MutationSummary({
callback(summaries) {
$(summaries[0].added)
.append(`
<li>
<a class="reveddit" href="${url}">
reveddit
</a>
</li>
`)
},
rootNode: document.body,
queries: [
{ element: '.flat-list' }
]
})
})(jQuery);
jQuery.noConflict(true);
/*  The old script, for future use
(function() {
'use strict';
url = new URL(location.href);
url.host = 'www.reveddit.com';
$("ul.flat-list.buttons").append(`
<li>
<a class="reveddit" href="${url}">
reveddit
</a>
</li>
`);
}());
*/