Userscript
A userscript (or user script) is a program, usually written in JavaScript, for modifying web pages to augment browsing. Uses include adding shortcut buttons and keyboard shortcuts, controlling playback speeds, adding features to sites, and enhancing the browsing history. On desktop browsers such as Firefox, userscripts are enabled by use of a userscript manager browser extension such as Greasemonkey. The Presto-based Opera-supported userscripts (referred to as User JavaScript) are placed in a designated directory. Userscripts are often referred to as Greasemonkey scripts, named after the original userscript manager for Firefox. On Wikipedia, a user scripts feature is enabled for registered users that allows them to install userscripts to augment editing and viewing of the encyclopedia's pages. Userscript managers 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 user ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
User Scripts
A userscript (or user script) is a program, usually written in JavaScript, for modifying web pages to augment browsing. Uses include adding shortcut buttons and keyboard shortcuts, controlling playback speeds, adding features to sites, and enhancing the browsing history. On desktop browsers such as Firefox, userscripts are enabled by use of a userscript manager browser extension such as Greasemonkey. The Presto-based Opera-supported userscripts (referred to as User JavaScript) are placed in a designated directory. Userscripts are often referred to as Greasemonkey scripts, named after the original userscript manager for Firefox. On Wikipedia, a user scripts feature is enabled for registered users that allows them to install userscripts to augment editing and viewing of the encyclopedia's pages. Userscript managers 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 u ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Greasemonkey
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 effectively permanent for the user running the script. Greasemonkey can be used for customizing page appearance, adding new functions to web pages (for example, embedding price comparisons within shopping sites), fixing rendering bugs, combining data from multiple web pages, and numerous other purposes. History The Greasemonkey project began 28 November 2004, written by Aaron Boodman. Boodman was inspired to write Greasemonkey after looking at a Firefox extension designed to clean up the interface of AllMusic, written by Adrian Holovaty, who later became a userscript developer. By May 2005, there were approximately 60 general and 11 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Tampermonkey
Tampermonkey is a donationware userscript manager that is available as a browser extension. This software enables the user to add and use userscripts, which are JavaScript programs that can be used to modify web pages. History Tampermonkey was first created in May 2010 by Jan Biniok. 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. In 2011, Tampermonkey was ported to Android, enabling users to use userscripts on Android's internal browser. By 2019, Tampermonkey had over 10 million users. Tampermonkey is one of 13 extensions on the Chrome Web Store to have at least 10 million users. Chrome manifest V3 In January 2019, Biniok wrote in a Google Groups post that the new Chrome manifest V3 would break the extension. The new manifest would ban remotely accessed code which Tampermonkey is dependent on. T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Userscript Manager
{{Unreferenced, date=May 2019, bot=noref (GreenC bot) A userscript manager is a type of browser extension and augmented browsing technology that provides a user interface to manage userscripts. 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 creating, installing, organizing, deleting and editing scripts, as well as modifying script permissions (e.g. website exceptions). Userscript managers use metadata that is embedded in a script's source code primarily to determine the websites it should execute on and the dependencies necessary for the script to run properly. Metadata can also include information that is useful to the user such as the script's name, author, description and version number. Functions A userscript is a computer program (written in JavaScript) containing metadata intended for use by a userscript manager. The metadata contains specific delimiters whi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
List Of Augmented Browsing Software
{, class="wikitable sortable" style="font-size: 85%; text-align: center; width: auto;" , + align="top" , Augmented Browsing Software , - ! style="width:19em" , Name ! Form ! Features ! Compatibility ! Last Updated , - ! , Bookmarklets , JavaScript , Can execute arbitrary JavaScript on any page, but requires a user to click them, rather than running automatically , , Always working , - ! , Firebug , Firefox extension for developers , Allows arbitrary real time changes to a page's DOM , , 2017 , - ! , Greasekit , , Provides userscripting for Safari (WebKit) , , 2008 , - ! , Greasemonkey , Browser extension , Alters the output of web content immediately after being displayed , Firefox, Chromium browser and Opera. , 2020 , - ! , Tampermonkey , Browser extension , Userscripts manager that provides features like a clear overview over the running scripts, a built-in editor, ZIP-based import and export, automatic update checks and browser and cloud storage based ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
JavaScript
JavaScript (), often abbreviated as JS, is a programming language that is one of the core technologies of the World Wide Web, alongside HTML and CSS. As of 2022, 98% of Website, websites use JavaScript on the Client (computing), client side for Web page, webpage behavior, often incorporating third-party Library (computing), libraries. All major Web browser, web browsers have a dedicated JavaScript engine to execute the Source code, code on User (computing), users' devices. JavaScript is a High-level programming language, high-level, often Just-in-time compilation, just-in-time compiled language that conforms to the ECMAScript standard. It has dynamic typing, Prototype-based programming, prototype-based object-oriented programming, object-orientation, and first-class functions. It is Programming paradigm, multi-paradigm, supporting Event-driven programming, event-driven, functional programming, functional, and imperative programming, imperative programming paradigm, programmin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Augmented Browsing
A browser extension is a small software module for customizing a web browser. Browsers typically allow a variety of extensions, including user interface modifications, cookie management, ad blocking, and the custom scripting and styling of web pages. Plug-ins Browser plug-ins are a separate type of module. The main difference is that extensions are distributed as source code, while plug-ins are distributed as executables (i.e. object code). Plug-ins are no longer supported by the major browsers, but extensions are widely used. The most popular browser, Google Chrome, has over 100,000 extensions available but stopped supporting plug-ins in 2020. History Internet Explorer was the first major browser to support extensions, with the release of version 4 in 1999. Firefox has supported extensions since its launch in 2004. Opera began supporting extensions in 2009, and both Google Chrome and Safari did so the following year. Microsoft Edge added extension support in 2016. API c ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Browsing History
Web browsing history refers to the list of web pages a user has visited, as well as associated metadata such as page title and time of visit. It is usually stored locally by web browsers in order to provide the user with a history list to go back to previously visited pages. It can reflect the user's interests, needs, and browsing habits.Du, Weidman, Zhenyu Cheryl Qian, Paul Parsons, Yingjie Victor Chen. 2018. “Personal Web Library: organizing and visualizing Web browsing history”. ''International Journal of Web Information Systems'' 14(2): 212-232. All major browsers have a private browsing mode in which browsing history is not recorded. This is to protect against browsing history being collected by third parties for targeted advertising or other purposes. Applications Local history Locally stored browsing history can facilitate rediscovering lost previously visited web pages of which one only has a vague memory in mind, or pages difficult to find due to being located w ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Browser Extension
A browser extension is a small software module for customizing a web browser. Browsers typically allow a variety of extensions, including user interface modifications, cookie management, ad blocking, and the custom scripting and styling of web pages. Plug-ins Browser plug-ins are a separate type of module. The main difference is that extensions are distributed as source code, while plug-ins are distributed as executables (i.e. object code). Plug-ins are no longer supported by the major browsers, but extensions are widely used. The most popular browser, Google Chrome, has over 100,000 extensions available but stopped supporting plug-ins in 2020. History Internet Explorer was the first major browser to support extensions, with the release of version 4 in 1999. Firefox has supported extensions since its launch in 2004. Opera began supporting extensions in 2009, and both Google Chrome and Safari did so the following year. Microsoft Edge added extension support in 2016. API confo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Opera
Opera is a form of theatre in which music is a fundamental component and dramatic roles are taken by singers. Such a "work" (the literal translation of the Italian word "opera") is typically a collaboration between a composer and a librettist and incorporates a number of the performing arts, such as acting, scenery, costume, and sometimes dance or ballet. The performance is typically given in an opera house, accompanied by an orchestra or smaller musical ensemble, which since the early 19th century has been led by a conductor. Although musical theatre is closely related to opera, the two are considered to be distinct from one another. Opera is a key part of the Western classical music tradition. Originally understood as an entirely sung piece, in contrast to a play with songs, opera has come to include numerous genres, including some that include spoken dialogue such as '' Singspiel'' and '' Opéra comique''. In traditional number opera, singers employ two styles of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
O'Reilly Media
O'Reilly Media (formerly O'Reilly & Associates) is an American learning company established by Tim O'Reilly that publishes books, produces tech conferences, and provides an online learning platform. Its distinctive brand features a woodcut of an animal on many of its book covers. Company Early days The company began in 1978 as a private consulting firm doing technical writing, based in the Cambridge, Massachusetts area. In 1984, it began to retain publishing rights on manuals created for Unix vendors. A few 70-page "Nutshell Handbooks" were well-received, but the focus remained on the consulting business until 1988. After a conference displaying O'Reilly's preliminary Xlib manuals attracted significant attention, the company began increasing production of manuals and books. The original cover art consisted of animal designs developed by Edie Freedman because she thought that Unix program names sounded like "weird animals". Global Network Navigator In 1993 O'Reilly Media creat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |