TIL: array_push() is slow

Today I learnt (thanks Gary) that array_push() is actually kinda slow and it’s probably better to avoid it in most cases.

There’s some (not very detailed but interesting nonetheless) tests in this StackOverflow answer.