Search results
Results From The WOW.Com Content Network
Greasemonkey is a userscript manager made available as a Mozilla Firefox extension. It enables users to install scripts that make on-the-fly changes to web page content after or before the page is loaded in the browser (also known as augmented browsing). The changes made to the web pages are executed every time the page is viewed, making them ...
It first emerged as a Greasemonkey userscript that was wrapped to support Google Chrome. Eventually the code was re-used and published as a standalone extension for Chrome which had more features than Chrome's native script support. [2] In 2011, Tampermonkey was ported to Android, enabling users to use userscripts on Android's internal browser. [3]
A userscript manager is a type of browser extension and augmented browsing technology that provides a user interface to manage scripts. The main purpose of a userscript manager is to execute scripts on webpages as they are loaded. The most common operations performed by a userscript manager include downloading, creating, installing, organizing ...
Wiki sidebar tweak - keeps the sidebar always visible and customises the languages box. (last updated February 2012) Eliminate Access Keys - stops Firefox intercepting commonly used Wikipedia keyboard shortcuts such as Alt-F (search) and Alt-E (edit). FilterWatchlist enables you to remove items from your watch list display.
Userscript manager. A userscript manager, also known as a userscript engine, is a type of browser extension and augmented browsing technology that provides a user interface to run and organize userscripts. The main purpose of a userscript manager is to execute scripts on predetermined webpages as they are loaded, for example, running a ...
A bookmarklet is a bookmark stored in a web browser that contains JavaScript commands that add new features to the browser. They are stored as the URL of a bookmark in a web browser or as a hyperlink on a web page. Bookmarklets are usually small snippets of JavaScript executed when user clicks on them.
While Greasemonkey was the original userscript manager and it's API has become a kind of de facto standard for userscript support, userscripts don't all rely on the Greasemonkey API, and there are many other extensions to enable their use.
A userscript manager such as Greasemonkey or Tampermonkey can add a local style sheet to a web page by adding the style sheet content to an HTML < style > tag and adding the tag to the page. [32] User styles from Userstyles.org can be downloaded as user scripts for use with a userscript manager.