Push mit PHP?

[Texter mit x]

Ich möchte nur mal allgemein fragen, welche Technik/Programmiersprache dahinter steckt, bzw. nach welchen Stichworten ich suchen muss.

vermutlich javascript / ajax

Besonders schön wäre es, wenn mir jemand einen Tip gibt, wie man so etwas mit PHP realisiren kann.

echo "<script language="JavaScript ...

Ernsthaft, mit lush und php-Konsorten wirst Du nicht weit kommen.