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 | 2 |
1 files changed, 1 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 7888ca6f25..8dc65df859 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 @@ -53,7 +53,7 @@ browser.devtools.panels.create( <p>{{WebExtExamples}}</p> -<div class="note"><strong>Remerciements</strong> +<div class="note"><p><strong>Note :</strong></p> <p>Cette API est basée sur l'API Chromium <a href="https://developer.chrome.com/extensions/devtools_panels"><code>chrome.devtools.panels</code></a>.</p> |