wmde/Diff — pull request #9 by siebrand (2014-04-22 15:37:47+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.