Hello internals! I have noted some strange points about `str_repeat` performance. It looks like the lesser `$times` argument is, the bigger is execution time (only if we consider big numbers).
For example, `str_repeat('%d ', 12500);` is a lot slower than
`str_repeat('%d ', 1250000)`.
First case (slow one):
https://3v4l.org/ZAoGi
Second case (fast one):
https://3v4l.org/YIdQM
Best regards,
Yevhen
