diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.md (renamed from files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.md index 757f74684b..757f74684b 100644 --- a/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.html +++ b/files/fr/mozilla/add-ons/webextensions/api/devtools/panels/onthemechanged/index.md |