News for hackers. Stuff that matters.

A comment on Firefox will support at least 200 new extensions on Android this December.

Re:Firefox will support at least 200 new extensions on Andro... by murphyslab on Wednesday November 08, 2023 @01:27PM (#38194696)
One of the missing features which keeps me using Chrome on Android is Firefox's inability to simply download a copy of a page's HTML. Mozilla engineers removed that feature because they didn't want the interface to be "too cluttered". (Yes, sometimes I can print a PDF, however for many sites that results in something unreadable.) Hoping that there will be an extension to re-enable downloading of HTML or full pages.
[ Parent | on HN ]
Re:Firefox will support at least 200 new extensions on Andro... by danShumway on Wednesday November 08, 2023 @08:38PM (#38199857)
My gut instinct is that this wouldn't be particularly hard to build. I'm not aware of any extensions that do that, but I wouldn't be surprised to see some extensions start to fill in mobile gaps once it's easier to install them, so you might get your wish.

I'm certainly going to be playing around building mobile extensions just for fun; absolutely zero promises but if I'm running out of other things to build or if it turns out that this is easy to implement in a single weekend, I wouldn't be opposed to building a quick addon for this and Open Sourcing it -- that's assuming I'm not underestimating how annoying it would be to rewrite URLs in the page or something.

[ Parent | on HN ]
Re:Firefox will support at least 200 new extensions on Andro... by gu5 on Thursday November 09, 2023 @08:36AM (#38204789)
Have you seen SingleFile?

https://addons.mozilla.org/en-US/firefox/addon/single-file/

https://github.com/gildas-lormeau/SingleFile

[ Parent | on HN ]
Re:Firefox will support at least 200 new extensions on Andro... by murphyslab on Thursday November 09, 2023 @02:23PM (#38209646)
Appreciate the tip. I already have SingleFile installed on my desktop Firefox, however it is currently only compatible with Firefox for Android Nightly, not vanilla Firefox mobile:

https://blog.mozilla.org/addons/2020/09/29/expanded-extensio...

So I'm eager for the update to the vanilla experience. It will probably be one of the first of the expanded set of extensions that I'll install.

[ Parent | on HN ]