MOODLE2: Translated theme settings