Browser extension: Difference between revisions

The educational technology and digital learning wiki
Jump to navigation Jump to search
Line 1: Line 1:
== Definition ==
== Definition ==


{{quotation|A browser extension is a computer program that extends the functionality of a web browser in some way. Depending on the browser, the term may be distinct from similar terms such as plug-in or add-on. Mozilla Firefox was designed with the idea of being a small and simple web browser, delegating more advanced functions to Mozilla extensions.}} ([http://en.wikipedia.org/wiki/Browser_extension Wikipedia], retrieved 10:11, 19 March 2009 (UTC)).
{{quotation|A browser extension is a computer program that extends the functionality of a web browser in some way. Depending on the browser, the term may be distinct from similar terms such as plug-in or add-on. Mozilla Firefox was designed with the idea of being a small and simple web browser, delegating more advanced functions to Mozilla extensions.}} ([http://en.wikipedia.org/wiki/Browser_extension Wikipedia], retrieved 10:25, 19 March 2009 (UTC)).


[[Category:Browser extensions]]
Browser extensions can be considered a variant of [[rich internet application]]s, since they may connect to the Internet and they ought to offer a similar security model as Java (In practise though we suggest to be careful and only download extensions that are rated by informed users and from places you trust).
[[Category:Authoring tools]]


== Firefox extensions ==
== Firefox extensions ==
Line 22: Line 21:
* [https://addons.mozilla.org/en-US/firefox/addon/748 Greasemonkey] A quite spectacular extension that allows you to customize the way a webpage displays using small bits of JavaScript. Hundreds of scripts, for a wide variety of popular sites, are already available at [http://userscripts.org UserScripts.org]. See [[user-side JavaScript]] for more information (including a link to useful mediawiki scripts).
* [https://addons.mozilla.org/en-US/firefox/addon/748 Greasemonkey] A quite spectacular extension that allows you to customize the way a webpage displays using small bits of JavaScript. Hundreds of scripts, for a wide variety of popular sites, are already available at [http://userscripts.org UserScripts.org]. See [[user-side JavaScript]] for more information (including a link to useful mediawiki scripts).


=== For web authors ===
=== For web page authors and web developers ===


* [http://users.skynet.be/mgueury/mozilla/index.html  HTML VALIDATOR] is a Mozilla extension that adds HTML validation inside Firefox and Mozilla. The number of errors of a HTML page is seen on the form of  an icon in the status bar when browsing. The details of the errors are seen when looking the HTML source of the page.
* [http://users.skynet.be/mgueury/mozilla/index.html  HTML VALIDATOR] is a Mozilla extension that adds HTML validation inside Firefox and Mozilla. The number of errors of a HTML page is seen on the form of  an icon in the status bar when browsing. The details of the errors are seen when looking the HTML source of the page.
** [https://addons.mozilla.org/en-US/firefox/addon/249 related Firefox (en_US) page]
** [https://addons.mozilla.org/en-US/firefox/addon/249 related Firefox (en_US) page]


=== For web developers ===
* [http://chrispederick.com/work/web-developer/ Web Developer]. Tells you most everything about your HTML page.
* Important: To install the DOM Inspector you must reinstall the browser choosing the 'Custom' and 'Developer Tools' options (if not already done so). You won't loose any personal settings, just do it :)
** [https://addons.mozilla.org/en-US/firefox/addon/60 Firefox page].


* [http://www.getfirebug.com/ FireBug] integrates with Firefox to put a wealth of web development tools at your fingertips while you browse. You can edit, debug, and monitor CSS, HTML, and JavaScript live in any web page. There also is a light version based on [[JavaScript]] that you can use with any browser.
* [http://www.getfirebug.com/ FireBug] integrates with Firefox to put a wealth of web development tools at your fingertips while you browse. You can edit, debug, and monitor CSS, HTML, and JavaScript live in any web page. There also is a light version based on [[JavaScript]] that you can use with any browser.
Line 33: Line 34:
** [http://www.getfirebug.com/keyboard.html Firebug Keyboard Shortcuts]
** [http://www.getfirebug.com/keyboard.html Firebug Keyboard Shortcuts]


* [http://chrispederick.com/work/web-developer/ Web Developer]. Tells you most everything about your HTML page.
* [https://addons.mozilla.org/en-US/firefox/addon/2897 XML Developer Toolbar]. For XML development. Schema and DTD Generation, Various validation, XSLT on the fly.  
* Important: To install the DOM Inspector you must reinstall the browser choosing the 'Custom' and 'Developer Tools' options (if not already done so). You won't loose any personal settings, just do it :)
 
** [https://addons.mozilla.org/en-US/firefox/addon/60 Firefox page].
=== For mediawiki authors ===
 
* [https://addons.mozilla.org/en-US/firefox/addon/4125 It's All Text! 1.3.1]. Edit textareas using an external editor, because it's all text!
** I use this to edit edutechwiki pages on PCs with an external editor.


* [https://addons.mozilla.org/en-US/firefox/addon/2897 XML Developer Toolbar]. For XML development. Schema and DTD Generation, Various validation, XSLT on the fly.  
* [http://www.borngeek.com/firefox/colt/ CoLT] Copy Link Text is tiny extensionto copy a hyperlink's associated text or both the URL and the text in various formats.
** Supports mediawiki format, I use it all the time - [[User:Daniel K. Schneider|Daniel K. Schneider]]


Find more through the Tools/add-ons menu of the Firefox browser.
* [[http://userscripts.org/scripts/show/12529 Wiked]]. Not an extension but a script for the [https://addons.mozilla.org/en-US/firefox/addon/748 Greasemonkey] extension.
** Best mediawiki editor, if don't want to work with an external editor (as of 3/2009).


== Other browsers ==
== Other browsers ==
Line 57: Line 63:
[[Category:Writing]]
[[Category:Writing]]
[[Category:Browser extensions]]
[[Category:Browser extensions]]
[[Category:Authoring tools]]

Revision as of 12:25, 19 March 2009

Definition

“A browser extension is a computer program that extends the functionality of a web browser in some way. Depending on the browser, the term may be distinct from similar terms such as plug-in or add-on. Mozilla Firefox was designed with the idea of being a small and simple web browser, delegating more advanced functions to Mozilla extensions.” (Wikipedia, retrieved 10:25, 19 March 2009 (UTC)).

Browser extensions can be considered a variant of rich internet applications, since they may connect to the Internet and they ought to offer a similar security model as Java (In practise though we suggest to be careful and only download extensions that are rated by informed users and from places you trust).

Firefox extensions

Below is a short list that should not grow too big. See the links sections.

For students, researchers and teachers

  • Zotero, to help you collect, manage, and cite your research sources.
  • eLML editor, to edit eLML documents (not stable yet on 3/2009).

For general web use

  • Greasemonkey A quite spectacular extension that allows you to customize the way a webpage displays using small bits of JavaScript. Hundreds of scripts, for a wide variety of popular sites, are already available at UserScripts.org. See user-side JavaScript for more information (including a link to useful mediawiki scripts).

For web page authors and web developers

  • HTML VALIDATOR is a Mozilla extension that adds HTML validation inside Firefox and Mozilla. The number of errors of a HTML page is seen on the form of an icon in the status bar when browsing. The details of the errors are seen when looking the HTML source of the page.
  • Web Developer. Tells you most everything about your HTML page.
  • Important: To install the DOM Inspector you must reinstall the browser choosing the 'Custom' and 'Developer Tools' options (if not already done so). You won't loose any personal settings, just do it :)
  • XML Developer Toolbar. For XML development. Schema and DTD Generation, Various validation, XSLT on the fly.

For mediawiki authors

  • It's All Text! 1.3.1. Edit textareas using an external editor, because it's all text!
    • I use this to edit edutechwiki pages on PCs with an external editor.
  • CoLT Copy Link Text is tiny extensionto copy a hyperlink's associated text or both the URL and the text in various formats.
  • [Wiked]. Not an extension but a script for the Greasemonkey extension.
    • Best mediawiki editor, if don't want to work with an external editor (as of 3/2009).

Other browsers

IE

Find more through the IE Tools/extensions menu...

Note: IE is not well know for extensions, but there are some other useful extensions for other purposes (e.g. videodownloads). Some are payware.

Opera

Get at least the developer console and DOM snapshot from the Opera tools page. Installing add-ons with Opera is really easy.