1--TEST--
2json_encode() on SplFixedArray
3--FILE--
4<?php
5
6echo json_encode(new SplFixedArray()) . "\n";
7echo json_encode(new SplFixedArray(1)) . "\n";
8
9$a = new SplFixedArray(3);
10$a[0] = 0;
11$a[2] = 2;
12echo json_encode($a) . "\n";
13
14?>
15--EXPECT--
16[]
17[null]
18[0,null,2]
19
