1. Mozilla
  2. Add-ons
  3. Browser-Erweiterungen
  4. JavaScript-APIs
  5. userScripts
  6. userScripts.UserScriptFilter

Dieser Inhalt wurde automatisch aus dem Englischen übersetzt, und kann Fehler enthalten. Erfahre mehr über dieses Experiment.

View in English Always switch to English

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

Ein array von string. IDs der Benutzerskripte, die von userScripts.getScripts() und userScripts.unregister() verarbeitet werden sollen. Dies stimmt mit Skripten durch das id-Feld des RegisteredUserScript überein. Wenn nicht angegeben, werden alle Benutzerskripte abgeglichen.

Browser-Kompatibilität

Help improve MDN

Learn how to contribute Diese Seite wurde automatisch aus dem Englischen übersetzt.
Übersetzung auf GitHub anzeigen • Fehler mit dieser Übersetzung melden