From 33058f2b292b3a581333bdfb21b8f671898c5060 Mon Sep 17 00:00:00 2001 From: Peter Bengtsson Date: Tue, 8 Dec 2020 14:40:17 -0500 Subject: initial commit --- .../add-ons/webextensions/api/events/index.html | 72 ++++++++++++++++++++++ 1 file changed, 72 insertions(+) create mode 100644 files/fr/mozilla/add-ons/webextensions/api/events/index.html (limited to 'files/fr/mozilla/add-ons/webextensions/api/events/index.html') diff --git a/files/fr/mozilla/add-ons/webextensions/api/events/index.html b/files/fr/mozilla/add-ons/webextensions/api/events/index.html new file mode 100644 index 0000000000..0f5e711402 --- /dev/null +++ b/files/fr/mozilla/add-ons/webextensions/api/events/index.html @@ -0,0 +1,72 @@ +--- +title: events +slug: Mozilla/Add-ons/WebExtensions/API/events +tags: + - API + - Add-ons + - Extensions + - Interface + - Non-standard + - Reference + - WebExtensions + - events +translation_of: Mozilla/Add-ons/WebExtensions/API/events +--- +
{{AddonSidebar}}
+ +

Types communs utilisés par les API qui distribuent les événements.

+ +

Types

+ +
+
{{WebExtAPIRef("events.Rule")}}
+
Description d'une règle déclarative pour gérer les événements.
+
{{WebExtAPIRef("events.Event")}}
+
Un objet qui permet l'ajout et la suppression d'écouteurs pour un événement Chrome.
+
{{WebExtAPIRef("events.UrlFilter")}}
+
Filtre les URL pour différents critères. Si un critère donné correspond, alors tout le filtre correspond.
+
+ +

Compatibilité du navigateur

+ +

{{Compat("webextensions.api.events")}}

+ +

{{WebExtExamples("h2")}}

+ +
Remerciements : + +

Cette API est basée sur l'API Chromium chrome.events. Cette documentation est dérivée de events.json dans le code Chromium.

+ +

Les données de compatibilité relatives à Microsoft Edge sont fournies par Microsoft Corporation et incluses ici sous la licence Creative Commons Attribution 3.0 pour les États-Unis.

+
+ + -- cgit v1.2.3-54-g00ecf