jsonlite_encode php extension