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 von string. IDs von Benutzerskripten, die von userScripts.getScripts() und userScripts.unregister() verarbeitet werden sollen. Dies entspricht Skripten anhand des id-Feldes von RegisteredUserScript. Wenn nicht angegeben, werden alle Benutzerskripte abgeglichen.