@ -1,5 +1,11 @@
--TEST--
Bug #46215 (json_encode mutates its parameter and has some class-specific state)
--SKIPIF--
<?php
if (!extension_loaded("json")) {
die('skip JSON extension not available in this build');
}
?>
--FILE--