PingMessage.fromJson constructor
Create a ping message from a JSON map
Implementation
factory PingMessage.fromJson(Map<String, dynamic> json) {
return PingMessage(
timestamp: json['timestamp'] as int,
documentId: json['documentId'] as String,
);
}