src/Json5Decoder.php 2 locations
|
@@ 281-283 (lines=3) @@
|
| 278 |
|
|
| 279 |
|
switch ($base) { |
| 280 |
|
case 10: |
| 281 |
|
if ((is_numeric($this->ch) || $this->ch === '.') && ($match = $this->match('/^\d*\.?\d*/')) !== null) { |
| 282 |
|
$string .= $match; |
| 283 |
|
} |
| 284 |
|
if (($this->ch === 'E' || $this->ch === 'e') && ($match = $this->match('/^[Ee][-+]?\d*/')) !== null) { |
| 285 |
|
$string .= $match; |
| 286 |
|
} |
|
@@ 284-286 (lines=3) @@
|
| 281 |
|
if ((is_numeric($this->ch) || $this->ch === '.') && ($match = $this->match('/^\d*\.?\d*/')) !== null) { |
| 282 |
|
$string .= $match; |
| 283 |
|
} |
| 284 |
|
if (($this->ch === 'E' || $this->ch === 'e') && ($match = $this->match('/^[Ee][-+]?\d*/')) !== null) { |
| 285 |
|
$string .= $match; |
| 286 |
|
} |
| 287 |
|
$number = $string; |
| 288 |
|
break; |
| 289 |
|
case 16: |