On 09/08/2015 08:55 AM, Josh Matthews wrote: > > Similarly, we have the ability to run user scripts: > > http://mxr.mozilla.org/servo/source/components/util/opts.rs#59
Are they sandboxed? Asking for a friend that could be interested in
adding WebExtensions support.
Fabrice
--
Fabrice Desré
b2g team
Mozilla Corporation
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
