jdorn/json-editor — pull request #211 by blabno (2014-07-30 20:16:00+00:00)
Title: i18n for titles

This is different, and IMHO more generic approach to i18n than in #199.