Proper unicode support for Json encode/decode remember to import io.vertx.lang.php.util.JSON in app.php bootstrap to use JSON::encode and decode. replacement for buggy json_encode and json_decode