From f36cc6a7639a8f1adff02bc7a152bd7f54ceae6d Mon Sep 17 00:00:00 2001 From: julieng Date: Mon, 15 Nov 2021 21:45:09 +0100 Subject: move *.html to *.md --- .../api/devtools/panels/elements/index.html | 28 ---------------------- 1 file changed, 28 deletions(-) delete mode 100644 files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html (limited to 'files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html') diff --git a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html deleted file mode 100644 index 13429a0e32..0000000000 --- a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/elements/index.html +++ /dev/null @@ -1,28 +0,0 @@ ---- -title: devtools.panels.elements -slug: Mozilla/Add-ons/WebExtensions/API/devtools/panels/elements -tags: - - API - - Add-ons - - Elements - - Extensions - - Reference - - WebExtensions - - devtools.panels -translation_of: Mozilla/Add-ons/WebExtensions/API/devtools.panels/elements -original_slug: Mozilla/Add-ons/WebExtensions/API/devtools.panels/elements ---- -
{{AddonSidebar()}}
- -

Un objet ElementsPanel qui représente l'inspecteur HTML/CSS du navigateur

- -

Compatibilité du navigateur

- -

{{Compat("webextensions.api.devtools.panels.elements", 10)}}

- -

{{WebExtExamples}}

- -

Note :

- -

Cette API est basée sur l'API Chromium chrome.devtools.panels.

-
-- cgit v1.2.3-54-g00ecf