On 2015-09-08 12:01 PM, Fabrice Desré wrote:
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
No, they are implemented as <script> elements that are appended the the
<head> element when it is added to the page DOM.
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
