isset() narrows string-key in int-keyed-array to numeric-string
#17949
| Job | Run time |
|---|---|
| 57s | |
| 15s | |
| 39s | |
| 31s | |
| 32s | |
| 32s | |
| 21s | |
| 23s | |
| 23s | |
| 21s | |
| 10s | |
| 5m 4s |
isset() narrows string-key in int-keyed-array to numeric-string
#17949
| Job | Run time |
|---|---|
| 57s | |
| 15s | |
| 39s | |
| 31s | |
| 32s | |
| 32s | |
| 21s | |
| 23s | |
| 23s | |
| 21s | |
| 10s | |
| 5m 4s |