If you want to edit the settings menu then you have to go into the JavaScript. Was there a specific part you wanted to change?
All to german.
