Can someone please give me instructions on
how to make a Server push in PHP.

What I want is to display an HTML file
and then from the server add more lines
to the page dynamically. (For example
when something happens in the server).

Thanks