1--TEST-- 2GH-11010: Preserve ini formatting of concatenated numbers 3--FILE-- 4<?php 5$result = parse_ini_string('variable = -00 20 30', false, INI_SCANNER_TYPED); 6var_dump($result['variable']); 7?> 8--EXPECT-- 9string(9) "-00 20 30" 10
