UserContentManager.removeScript

void removeScript(webkit.user_script.UserScript script)

Removes a #WebKitUserScript from the given #WebKitUserContentManager.

See also [webkit.user_content_manager.UserContentManager.removeAllScripts].

Parameters

scriptA #WebKitUserScript