Hello,

Please compare the JS code, generated by my PHP code with your code in #546 a last time.

I noticed that the arrays have different names, i.e., settings vs. user_settings. I used this new name to avoid conflicts to the existent one but we can still use the settings array in the final version. What do you think? I didn't notice it during the review because it is basically valid and in accordance with my JS code. However, I recommend to change the name.

PS and edit: it was a nightmare to rebase the branch

Yes, it seems to so easy as it could be - in my opinion. We should close branches as soon as possible to avoid conflicts.

Thank you for doing this job!

/Micha