Historique perdu

[Gloops]

Ah oui pardon j'ai mal lu, je ne considérais pas le bon maillon, là il s'agissait de l'export depuis Firefox.
L'idéal serait que Firefox propose une fonction intégrée, par exemple depuis les menus, comme il me semble avoir vu un jour pour les marque-pages (apparemment il faut plus qu'un simple coup d'œil aux menus pour s'en souvenir), à défaut que ça existe pour l'historique on peut essayer de le retrouver quelque part dans le stockage, mais c'est précaire parce que vulnérable à un changement dans une version ultérieure.
Si il y a une extension pour réaliser ça au moins ça évite d'aller chercher dans le stockage et de devoir écrire une interface utilisateur pour faire l'export.
Ça durera ... Tant que Firefox assurera le support de ce format d'extensions, nous avons déjà eu droit à l'obsolescence d'extensions parce que Firefox avait changé de format d'extensions.
Mais une fois que c'est exporté, tant que le format d'export n'est pas obsolète, ce qui pris est pris.