Make DevTools panel translatable

Background

Unlike all of our other UIs, the Adblock Plus DevTools panel is only available in English. Existing texts were hardcoded and are therefore not even available for translations yet.

What to change

Move all strings in the DevTools panel (specified here https://gitlab.com/eyeo/specs/spec/merge_requests/171) to locale/en_US/devtools-panel.json.

Hints for translators

Added devtools-panel.json file.

Edited Apr 26, 2019 by Thomas Greiner

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information