On Monday, May 11, 2015 at 8:26:25 AM UTC+2, C. Kitchin wrote: > > Does FB3 alpha allow extensions? > > Maybe a basic question, but it's not easy to search due to the keyword > being "extension"! > > I see some indication from the devs that extensions will have to extend > Mozilla itself instead of extending FB? Not sure. There seems to be no > guide for writing FB 3 extensions, though there is some mention of an API. > No guide to migrating extensions from FB2 to FB3 as far as I can tell. >
Since Firefox has its own native developer tools now, it's more practical to build extensions directly for it (just like Firebug.next is also build on top of native developer tools). Here are some links you might find useful: * DevTools home page on MDN: https://developer.mozilla.org/en-US/docs/Tools (see the Extending the DevTools section on the left side) * Pixel Perefect architecture: http://www.softwareishard.com/blog/extension-architecture/pixel-perfect-2-developer-tool-extension-architecture/ (an existing extension architecture described in detail) * Extending Developer Tools (video) https://archive.fosdem.org/2014/schedule/event/extending_firefox_developer_tools/ (presentation from FOSDEM) * RDP Inspector: https://github.com/firebug/rdp-inspector (another extension built on top of native Firefox devtools) > My particular issue is with the FormBug extension. That last time it was > updated, a few years ago, the important line was: > var FormbugButtons = Firebug.chrome.$("fbFormbugButtons") > > Yep, the extension has been built for Firebug and should be migrated to native tools. Honza -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/45a089f1-3331-49d9-b04f-061223aa8dae%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
