dev97

Results 3 issues of dev97

Please test and accept my patch for setting supplementary groups. I'm sorry for missing documentation (with my English it would be easier to write it from scratch) and I'm sorry...

``` % php -a Interactive shell php > $x = [100 => 100, 200 => 200, 300 => 300]; php > echo json_encode($x); {"100":100,"200":200,"300":300} php > array_shift($x); php > echo...