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
script | A #WebKitUserScript |