Update themes-settings.html and strings.js

Fix #8712 (part 1 of 2)
String.THEME_SETTINGS does not match what you have defined in strings.js.