Implementation of PHP web sockets for real time leaderboard update