Translated developer tools info page

[springstan]

Issue affected: #3429

Description:

• added developer tools info page translations to src/translations/en.json
• updated developer-tools-info.ts and system-health-card.ts accordingly

Result:

[bramkragten]

Add these as variable in the default_ui translation

[springstan]

Sure thing! Done 3b3ee0d

[bramkragten]

OK to merge when rebased.

[bramkragten]

That wasn't a rebase, but it does fix the merge conflict.
For a rebase:

If you haven't add the upstream remote yet:
git remote add upstream https://github.com/home-assistant/home-assistant-polymer.git

Rebase
git fetch upstream dev to pull the latest changes into a local dev branch
git rebase upstream/dev to put those changes into your feature branch before your changes and then apply your changes again

If there are conflicts:
Resolve the conflict(s) if there are any and save the file(s).
git add .
git rebase --continue

Push
After the rebase you have to force push:
git push origin --force

(If you give us the rights to push to your branch when you create a PR we can resolve the conflicts for you)

[springstan]

@bramkragten thank you very much for the explanation. I am still learning git and its terminology so your explanation is greatly appreciated :)