Note que vu la longueur du code, il est improbable que Internet Explorer l’accepte. En tout état de cause, je ne l’ai testé que sous Mozilla (>1.0). Le plus simple pour vérifier que cela marche dans votre navigateur est de cliquer ci-dessus (en présumant que vous arriviez sur cette page depuis une recherche Google).
Crédits à qui de droit: il s'agit d’un simple nettoyage du code de Cal Henderson (pour les besoins de la bookmarklet, la notice du copyright a été enlevé du code-même - j’espère que cette note peut en faire office:
//
// google.js
// Google Highlighter
//
// Copyright(C)2001 - 2003
// Cal Henderson <cal@iamcal.com>
//
// Thanks to Ian Beveridge for bugfixes
//
// This code may be freely redistributed,
// providing this message remains intact.
//
La réduction du code a été principalement faite avec la ligne de commande suivante : cat google.js |sed -e s-//.*--|tr "\r\n\t" " "|sed -e "s/ */ /g"