More precise count($array) after array_* functions
#7632
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 43s | |
| 1m 23s | |
| 1m 6s | |
| 1m 12s | |
| 1m 15s | |
| 1m 4s | |
| 8m 54s |
count($array) after array_* functions
#7632
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 43s | |
| 1m 23s | |
| 1m 6s | |
| 1m 12s | |
| 1m 15s | |
| 1m 4s | |
| 8m 54s |