1--TEST--
2Test json_encode() function : basic functionality with UTF8 string input
3--FILE--
4<?php
5echo "*** Testing json_encode() : basic functionality with UTF-8 input***\n";
6
7$utf8_string = base64_decode('5pel5pys6Kqe44OG44Kt44K544OI44Gn44GZ44CCMDEyMzTvvJXvvJbvvJfvvJjvvJnjgII=');
8var_dump(json_encode($utf8_string));
9
10?>
11--EXPECT--
12*** Testing json_encode() : basic functionality with UTF-8 input***
13string(103) ""\u65e5\u672c\u8a9e\u30c6\u30ad\u30b9\u30c8\u3067\u3059\u300201234\uff15\uff16\uff17\uff18\uff19\u3002""
14