For applications to install their own extensions.
Created attachment 181934 [details]
Comment on attachment 181934 [details]
This seems straightforward enough to me, but perhaps other reviewers want to have a look.
As we discussed on IRC, this patch looks good to me with the change that the API should be called webkit_web_context_set_web_exentions_directory and we later remove the global extensions directory.
Committed r139415: <http://trac.webkit.org/changeset/139415>