« Extension Firefox » : différence entre les versions
Aller à la navigation
Aller à la recherche
m (Page créée avec « En construction}} == Introduction == == Description et intérêt == == Architecture et fonctions == == Exemples d'applications et d'utilisation == == Liens et bibliograph... ») |
m (using an external editor) |
||
Ligne 1 : | Ligne 1 : | ||
En construction}} | {{En construction}} | ||
== Introduction == | == Introduction == | ||
Les extensions ou '''add-ons''' Firefox permettent | |||
== Description et intérêt == | == 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: | ||
== 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. | |||
* [http://www.wired-marker.org/en/ Wired-Marker] permet de marquer une page | |||
* [https://addons.mozilla.org/en-US/firefox/addon/6219 Wired-Marker extension] | |||
; Utilisateurs avancés | |||
* [http://www.firedocs.org/ Firedocs] un outil d'édition | |||
* Pour éditer des formats [[:en:eLML|eLML]] il existe une variante de Firedocs | |||
=== For general web use === | |||
* [https://addons.mozilla.org/fr/firefox/addon/2254 UnPlug] permet de sauver des vidéos et des images d'une page web. Il existe d'autres extensions de ce type. | |||
* [https://addons.mozilla.org/fr/firefox/addon/5457 Shareaholic] permet de partager des pages sur des nombreux sites (Facebook, Twitter, Digg, etc.) | |||
* [https://addons.mozilla.org/fr/firefox/addon/5081 TwitterFox] est un client [[Twitter]] (léger). Il existe plusieurs extensions avec plus de fonctionalités mais qui prennent plus de place. | |||
* [http://googlebar.mozdev.org/ Googlebar], pour avoir accès à des fonctionalités et services supplémentaires. | |||
** [https://addons.mozilla.org/en-US/firefox/addon/33 googleba extension] | |||
* [https://addons.mozilla.org/firefox/424/ Wizz RSS News Reader], un lecteur sophistiqué pour les fils de nouvelles | |||
* [https://addons.mozilla.org/en-US/firefox/addon/748 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 [http://userscripts.org UserScripts.org]. Voir [[:en:user-side JavaScript|user-side JavaScript]] (EduTech anglais) | |||
* [https://addons.mozilla.org/en-US/firefox/addon/1368 Colorful tabs]. Ajoute de la couleurs aux tabs de navigation. | |||
* [http://trac.arantius.com/wiki/Extensions/Resurrect Resurrect pages]. Essayer de retrouver les pages mortes dans des caches. | |||
=== 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. | |||
** [https://addons.mozilla.org/en-US/firefox/addon/249 related Firefox (en_US) page] | |||
* [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. | |||
** [https://addons.mozilla.org/en-US/firefox/addon/1843 related Firefox (en_US) page]. | |||
** [http://www.getfirebug.com/keyboard.html Firebug Keyboard Shortcuts] | |||
* [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. | |||
=== 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. | |||
* [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]] | |||
* [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). | |||
== Liens et bibliographie == | == Liens et bibliographie == | ||
[[Catégorie : Atelier webmaster web 2.0]] | [[Catégorie : Atelier webmaster web 2.0]] |
Version du 9 mai 2009 à 16:08
Cet article est en construction: un auteur est en train de le modifier.
En principe, le ou les auteurs en question devraient bientôt présenter une meilleure version.
Introduction
Les extensions ou add-ons Firefox permettent
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:
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.
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
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.
- 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.
- 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 :)
- 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.
- 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).