Fixed port number on PHP README