Based on our record, Opera Add-ons should be more popular than Greasemonkey. It has been mentiond 2 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
// ==UserScript== // @name Wikipedia Redirect // @namespace https://greasespot.net // @version 0.1 // @description Redirect from English Wikipedia to Simple English Wikipedia if the page exists // @author Noname // @match https://en.wikipedia.org/wiki/* // @grant none // ==/UserScript== (function() { 'use strict'; let currentURL = window.location.href; let... Source: about 1 year ago
Test to see if the same thing happen with an extension installed from https://addons.opera.com/en/ or https://chrome.google.com/webstore/category/extensions. Source: about 1 year ago
For extensions, you can't back them up and restore them, so you'll just have to reinstall them from https://chrome.google.com/webstore/category/extensions and https://addons.opera.com/en/. If you bookmark the URL to each extension's page, and put those bookmarks in a folder, in the new Opera, you can just right-click on that bookmarks folder, choose "open all in tabs", and then click "Add to Opera" on each page to... Source: over 1 year ago
Violentmonkey - Violentmonkey is a userscript manager to support running userscripts in web pages.
Chrome Extension Downloader - Chrome Extension Downloader is the name of a website dedicated for downloading and Chrome extensions.
Tampermonkey - Greasemonkey compatible script manager.
Mozilla Add-ons - Download Firefox extensions and themes. They’re like apps for your browser. They can block annoying ads, protect passwords, change browser appearance, and more.
Greasy Fork - A site for user scripts.
Addoncrop - Extends the functionality of your web browser