[Phphtmllib-devel] Getting picky on push()

[David M. <da...@re...>]

At the risk of sounding pedantic, I feel the need to question the
rightness of the name 'push' as a tag's append method.

Even though the doco explains that tags work as FIFOs, the word 'push'
still has a stack and LIFO connotation.

How about calling it 'add' instead? Perhaps supporting 'add' and 'push'
as synonyms, then deprecating 'push' at some stage?

Also, 'add' is one character shorter, and to some may be more
self-explanatory than 'push'.

Cheers
David