Escaped utf-8

Hi all, I am translating Blockly apps to Greek. I have noticed that the JSON files generated have each message's characters encoded as escape sequences representing the UTF-8 encoding of the character. In Greek, for example, 'Κίνα' (China) is shown as "\u039a\u03af\u03bd\u03b1" etc. The same happens on most of the non-ASCII languages (Russian, Chinese etc). I think one (of many) good reason for having data in json files is that json can be easily read by humans. Can you do something about it?

Best regards, -- Alexandros Zountas

Only when we update to a more recent version of PHP (currently 5.3, and 5.4 is needed). We are aware of the feature request, and will make it so when we're ready for it. There is no determined timeline.