userScripts.UserScriptFilter
Eine Liste von Benutzerskripten, die von userScripts.getScripts()
oder userScripts.unregister()
verarbeitet werden sollen.
Typ
Werte dieses Typs sind ein Objekt, das diese Eigenschaft enthält:
ids
Optional-
array
vonstring
. IDs von Benutzerskripten, die vonuserScripts.getScripts()
unduserScripts.unregister()
verarbeitet werden sollen. Dies entspricht Skripten anhand desid
-Feldes vonRegisteredUserScript
. Wenn nicht angegeben, werden alle Benutzerskripte abgeglichen.