Add padding for user flags in topbar
[mms] Fix encoding of JSON parameters to Horde::popupJs() (Bug #12037).

Need to double encode the data so that the JSON is properly parsed on
the browser.