1--TEST--
2json_decode() tests
3--SKIPIF--
4<?php if (!extension_loaded("json")) print "skip"; ?>
5--FILE--
6<?php
7var_dump(json_encode('a/b'));
8var_dump(json_encode('a/b', JSON_UNESCAPED_SLASHES));
9?>
10--EXPECT--
11string(6) ""a\/b""
12string(5) ""a/b""
13