PHP Session Handlers Using a JSON Storage Format