wmde/DataTypes — pull request #15 by siebrand (2014-04-22 15:38:07+00:00)
Title: Update i18n shim

A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.