Extension Firefox

Cet article est une ébauche à compléter. Une ébauche est une entrée ayant un contenu (très) maigre et qui a donc besoin d'un auteur.

Introduction

Les extensions ou add-ons Firefox ajoutent des fonctionalités à Firefox. A ne pas confondre avec les plugins qui gèrent des formats comme Flash ou Java.

Description et intérêt

Selon le site officiel, ces modules complémentaires étendent Firefox en vous permettant de personnaliser votre navigation. Cette définition ne couvre pas tout l'intérêt que ces extension peuvent avoir:

• Développement web
• Edition de contenus spécialisés
• Clients pour le web 2: blogs, plateforme sociales, micro-blogging, partage de signets etc. etc. Au lieu de connecter sur ces sites, on peut directement consulter ou contribuer depuis Firefox.
• Modification de contenus par l'utilisateur (par exemple filter des images)
• Aide au téléchargement (images, vidéos, sons, etc.)
• ....

Installation et utilisation

La plupart des extensions sont répertoriés sur le site de Firefox que l'on peut aussi accéder via le menu Outils/add-ons.

• https://addons.mozilla.org/fr/firefox/

Exemples d'extensions

Pour élèves, enseignants et concepteurs de formations

• Zotero pour collectionner, gérer et citer des ressources, pour prendre des notes et faire des copies de sauvegarde de pages web.

• Wired-Marker permet de marquer une page
• Wired-Marker extension

Utilisateurs avancés

• Firedocs un outil d'édition
• Pour éditer des formats eLML il existe une variante de Firedocs

For general web use

• UnPlug permet de sauver des vidéos et des images d'une page web. Il existe d'autres extensions de ce type.

• Shareaholic permet de partager des pages sur des nombreux sites (Facebook, Twitter, Digg, etc.)

• TwitterFox est un client Twitter (léger). Il existe plusieurs extensions avec plus de fonctionalités mais qui prennent plus de place.

• Googlebar, pour avoir accès à des fonctionalités et services supplémentaires.
  • googleba extension

• Wizz RSS News Reader, un lecteur sophistiqué pour les fils de nouvelles

• Greasemonkey Un extension spéctaculaire qui permet à de scripts de modifier les contenus des pages. Ces scripts sont en règle générale répertoriés sur UserScripts.org. Voir user-side JavaScript (EduTech anglais)

• Colorful tabs. Ajoute de la couleurs aux tabs de navigation.

• Resurrect pages. Essayer de retrouver les pages mortes dans des caches.

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.
  • related Firefox (en_US) 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 :)
  • Firefox page.

• 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.
  • related Firefox (en_US) page.
  • Firebug Keyboard Shortcuts

• 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.
  • Supports mediawiki format, I use it all the time - Daniel K. Schneider

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