PHP REST JSON API able to synchronize files toward many clients to reach "the" latest server revision