Hi internals, I realized we could not retrieve php_json_serializable_ce from other extension module. JsonSerializeable interface is easy to serialize with `json_encode`. So I want to adding getter function.
The patch can be found here: https://github.com/chobie/php-src/compare/adding-jsonserializeable-ce-getter I want to have feedback on the idea. Thanks, Shuhei
