[php-src] Issue #11010: parse_ini_file parse_ini_string bug when when INI_SCANNER_TYPED
| From: | GajowyJ | Date: | Tue, 04 Apr 2023 00:22:07 +0000 |
| Subject: | [php-src] Issue #11010: parse_ini_file parse_ini_string bug when when INI_SCANNER_TYPED | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-244093@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/11010
Author: GajowyJ
### Description
The following code:
```php
<?php
$txt = "variable = -00 20 30";
$ret=parse_ini_string($txt,FALSE,INI_SCANNER_TYPED);
var_dump($ret['variable']);
```
Resulted in this output:
```
string(7) "0 20 30"
```
But I expected this output instead:
```
string(9) "-00 20 30"
```
or
```
int(1) "0"
```
### PHP Version
PHP 8.1.17
### Operating System
Windows 10