If it has to be realtime, I would suggest node.js and socket.io. Would be A LOT faster than PHP and it also scales much much better.

Shitlord by trade and passion. Graphics programmer at Laminar Research.
I write blog posts at feresignum.com