Activer le gestionnaire d'extensions de Safari

Les extensions pour Safari 5 ne sont pas légion pour l’instant, mais leur nombre devrait croître assez rapidement au cours des prochains mois. Bien que relativement simple, leur installation ne se fait pas de façon automatique la première fois. Pour une raison inconnue, le gestionnaire d’extensions n’est pas installé par défaut dans les préférences de Safari 5. Si vous téléchargez une extension et double-cliquez dessus, voici le message qui s’affiche :

Pour installer le gestionnaire d’extensions, il suffit d’ouvrir les préférences de Safari à l’onglet Avancées et de cocher la case Afficher le menu Développement dans la barre de menus :

Dans le menu Développement, cliquez sur Activer les extensions :

Et voilà ! le tour est joué. En ouvrant les préférences de Safari, le gestionnaire d’extensions est installé et prêt à être activé :

Une section répertoriant les extensions devrait voir le jour sur le site d’Apple vers le mois de juillet. En attendant, vous pourrez en trouver quelques-unes ici.