/files/fr/mozilla/add-ons/webextensions/api/devtools/