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