More precise count($array) after array_* functions
#9520
| Job | Run time |
|---|---|
| 8s | |
| 8s |
count($array) after array_* functions
#9520
| Job | Run time |
|---|---|
| 8s | |
| 8s |