< Scripts
m (increased all header +1 level, to better fit in page.) |
(GM 4 horribly broke script compatibility, so removing it and suggesting TM for everyone.) |
||
| Line 6: | Line 6: | ||
==== {{Anchor|Firefox}}Firefox / Mozilla ==== | ==== {{Anchor|Firefox}}Firefox / Mozilla ==== | ||
* Install [[#Monkey|'' | * Install [[#Monkey|''TamperMonkey'' or equivalent]]. | ||
==== Internet Explorer ==== | ==== Internet Explorer ==== | ||
* Install [[#Monkey|' | * Install [[#Monkey|'TamperMonkey'' or equivalent]]. | ||
==== Safari ==== | ==== Safari ==== | ||
| Line 15: | Line 15: | ||
* Install [[#WazeBar|''WazeBar for Safari'']]. | * Install [[#WazeBar|''WazeBar for Safari'']]. | ||
==== {{Anchor|Monkey}} | ==== {{Anchor|Monkey}}Tampermonkey add-on for script management ==== | ||
The easiest way to load and manage add-on scripts is with | The easiest way to load and manage add-on scripts is with [http://tampermonkey.net/ ''Tampermonkey''], or an equivalent browser add-on for script management. When you install a user script, the script manager catalogs it and automatically runs it anytime any page for which it is declared is loaded by your browser. | ||
Revision as of 23:08, 6 May 2018
Chrome / Blink / Opera Next
You might need to enable Developer Mode on your browser.
- If a download is available from the Chrome Web Store, choose that.
- Without an add-on to manage scripts, simply download the script file (.js) or Chrome executable package (CRX). Then drag and drop the file into the Chrome Extensions Tab [chrome://extensions] of the browser.
- Install TamperMonkey or equivalent.
Firefox / Mozilla
- Install TamperMonkey or equivalent.
Internet Explorer
- Install 'TamperMonkey or equivalent.
Safari
- Install script as an extension.
- Install WazeBar for Safari.
Tampermonkey add-on for script management
The easiest way to load and manage add-on scripts is with Tampermonkey, or an equivalent browser add-on for script management. When you install a user script, the script manager catalogs it and automatically runs it anytime any page for which it is declared is loaded by your browser.