Extension Firefox

De EduTech Wiki
Aller à : navigation, rechercher

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

2 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.)
  • Gestion et syncronisation des signets et préférences

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

4 Exemples d'extensions

4.1 Pour élèves, enseignants et concepteurs de formations

  • Zotero, Scrapbook, 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
  • Xmarks (anciennement Foxmarks) - permet de sauvegarder et syncroniser les signets (ainsi que les cookies, l'historique et les mots de passe si souhaité) sur plusieurs machines et supports et de les accèder, récuperer et/ou réstaurer via un profil personnel sur leur site.
  • Tagsifter - permet de rechercher les marquepages par mots clés associés (tags)
Utilisateurs avancés
  • Firedocs un outil d'édition
  • Pour éditer des formats eLML il existe une variante de Firedocs
  • Google Gears est une extension qui permet de travailler avec certaines applications web (Zoho, Google Docs) localement en mode hors ligne et de synchroniser les modifications sur demande

4.2 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.
  • Mycroft Project - extensions de la barre d'outils de recherche accèder directement aux moteurs de recherches des domaines particuliers (p. ex. Wikipedia, Yahoo, )
  • Wizz RSS News Reader, un lecteur sophistiqué pour les fils de nouvelles
  • FEBE (Firefox Environment Backup Extension) - permet de sauvegarder rapidement vos extensions Firefox et leur configurations et de les restaurer dans une autre instance (ou profil) de Firefox

Voir aussi Navigation sociale pour les outils de partage des signets et activités reliées à la navigation.

4.3 Pour les auteurs et développeurs de pages web

  • HTML VALIDATOR est une extension Mozilla qui valide du HTML validation à l'intérieure de Firefox et Mozilla. Le nombre d'erreurs d'une page HTML est visible en forme d'icône sur la barre d'état du navigateur. Les détails sont visibles en regardant la source HTML de la page.
  • Web Developer. Permet d'analyser une page HTML
  • Important: Pour installer le DOM Inspector vous devez réinstaller le navigateur en sélectionnant les options 'Custom' et 'Developer Tools'. Vous ne risquez pas de perdre vos données et préferences, faites-le :)
  • ColorZilla inclut un Eyedropper, ColorPicker, Page Zoomer et autres outils
  • Screengrab. Permet la capture d'écran ou de zones.
  • JSView 2.0.
    • Voir le code source JavaScript (y compris celui de tous les fichiers importés !)
  • XML Developer Toolbar. Pour le développement XML, la génération Schema et DTD, validation, XSLT sur le moment.

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

5 Liens et bibliographie