Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mozilla Firefox port #51

Open
TheWebTech opened this issue Jul 4, 2018 · 2 comments
Open

Mozilla Firefox port #51

TheWebTech opened this issue Jul 4, 2018 · 2 comments
Labels
enhancement New feature or request

Comments

@TheWebTech
Copy link
Collaborator

If you are interested in this please chime in. For me it's not a priority to make the extension cross browser because chrome is my primary dev browser but if there is significant desire for this I could see us doing it. I think though chrome will remain a first class citizen for the extension. Likely getting updates more often

https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/Porting_a_Google_Chrome_extension

@TheWebTech TheWebTech added the enhancement New feature or request label Oct 2, 2018
@TheWebTech
Copy link
Collaborator Author

I've seen one person consistently ask for it in the slack. Unfortunately it's going to take more than just 1 person to make it worthwhile to do a Firefox Port.

If you use Firefox and would be interested in helping with this that would be appreciated. Over-all according to Firefox documentation it shouldn't be too insane to get Firefox to support the extension but one of my concerns is if we build it, the Firefox extension wouldn't get enough love and attention to continue getting quality regular updates.

@TheWebTech
Copy link
Collaborator Author

TheWebTech commented Nov 5, 2018

updating as more people have chimed in that they want to use the extension in firefox.

Theres a small group of devs, so it's kinda worth doing, but I don't want to do this alone. I don't use Firefox myself for development so it's not a personal priority. I'm happy to offer help to someone who wants to help with this though.

@TheWebTech TheWebTech pinned this issue Apr 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant