1--TEST--
2json_decode() tests
3--FILE--
4<?php
5var_dump(json_encode('a/b'));
6var_dump(json_encode('a/b', JSON_UNESCAPED_SLASHES));
7?>
8--EXPECT--
9string(6) ""a\/b""
10string(5) ""a/b""
11