Updating: keeping GameOf24/PHP up-to-date