PhpGenerator: short arrays are dumped in single line