Le navigateur Opera intègre enfin les extensions

La société norvégienne Opera Software a livré la onzième génération de son navigateur Web. Cette mouture intègre désormais la gestion des extensions, et propose plusieurs améliorations pour rendre le surf plus fluide.