Le navigateur Opera va profiter de sa prochaine version, la onzième, pour introduire un gestionnaire d'extensions.

Opera 11 signera la fin des Widgets superposés qu'utilisent jusqu'à présent les développeurs du navigateur Internet pour enrichir les fonctionnalités de leur programme. En effet, comme ses concurrents, de Chrome à Safari en passant par Firefox, maître en la matière, Opera Software profitera de la sortie de la onzième mouture de son butineur pour y intégrer un gestionnaire d'extensions.

Ces plugins répondront aux spécifications du WorldWide Web Consortium concernant les widgets, et seront donc développés en HTML, CSS et JavaScript. Grosso modo, les portages d'extensions vers et depuis les navigateurs utilisant une technologie similaire seront facilités. Un registre dans lequel Mozilla fait bande à part en travaillant sur le système Jetpack pour gérer les extensions. Une nouveauté qui devrait à terme venir remplacer le système actuel.

Il n'y a plus qu'à attendre la version alpha d'Opera 11 pour essayer cela. L'éditeur norvégien fait d'ailleurs savoir qu'elle sera disponible assez rapidement sur la page dédiée à Opera 11...

ADATA dévoile une clé USB aux normes militaires

RDR Undead Nightmare : le retour de John Marston au pays des zombies