1--TEST-- 2Bug #55543 (json_encode() with JSON_NUMERIC_CHECK & numeric string properties) 3--FILE-- 4<?php 5$a = new stdClass; 6$a->{"1"} = "5"; 7 8var_dump(json_encode($a, JSON_NUMERIC_CHECK)); 9?> 10--EXPECT-- 11string(7) "{"1":5}" 12