Browser extension

The educational technology and digital learning wiki
Jump to navigation Jump to search

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:11, 19 March 2009 (UTC)).

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 authors

  • 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.

For web developers

  • 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.

Find more through the Tools/add-ons menu of the Firefox browser.

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.