Differences
This shows you the differences between the selected revisions of the page.
2017-10-22 | 2017-11-08 | ||
Ad placement (Petr) | link update (martin) | ||
Line 18: | Line 18: | ||
To install the script, install a user script manager to your browser and click on the download link above. | To install the script, install a user script manager to your browser and click on the download link above. | ||
- | * For Mozilla Firefox, use [[https://addons.mozilla.org/en-us/firefox/addon/greasemonkey/|Greasemonkey]] extension; | + | * For Mozilla Firefox, use [[https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/|Greasemonkey]] extension; |
* For Google Chrome, use [[https://chrome.google.com/webstore/detail/tampermonkey/dhdgffkkebhmkfjojejmpbldmpobfkfo|Tampermonkey]] extension.((While Google Chrome supports user scripts on its own, it does not support ''@require'' directive, nor it runs scripts not available in Chrome Web Store.)) | * For Google Chrome, use [[https://chrome.google.com/webstore/detail/tampermonkey/dhdgffkkebhmkfjojejmpbldmpobfkfo|Tampermonkey]] extension.((While Google Chrome supports user scripts on its own, it does not support ''@require'' directive, nor it runs scripts not available in Chrome Web Store.)) | ||