2017-10-13 16:26 GMT+02:00 Zbigniew Jędrzejewski-Szmek <zbyszek@xxxxxxxxx>: > Sure, that's what everybody knows. But without going from generalities > to details of a specific extension, we're just speculating idly. Here's another one: https://addons.mozilla.org/en-US/firefox/addon/advanced-locationbar/ "Warning! This extension will stop work in Firefox 57+ since this version of the browser supports WebExtensions API only. It is not possible to implement this extension using WebExtensions API." Same holds for the alternative https://addons.mozilla.org/en-US/firefox/addon/locationbar²/ - Thomas _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
