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