diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html index e083ff02b3..33e93d2391 100644 --- a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html +++ b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/extensionpanel/index.html @@ -1,6 +1,6 @@ --- title: devtools.panels.ExtensionPanel -slug: Mozilla/Add-ons/WebExtensions/API/devtools.panels/ExtensionPanel +slug: Mozilla/Add-ons/WebExtensions/API/devtools/panels/ExtensionPanel tags: - API - Add-ons @@ -9,6 +9,7 @@ tags: - WebExtensions - devtools.panels translation_of: Mozilla/Add-ons/WebExtensions/API/devtools.panels/ExtensionPanel +original_slug: Mozilla/Add-ons/WebExtensions/API/devtools.panels/ExtensionPanel --- <div>{{AddonSidebar()}}</div> |