getJsonFilename function
Implementation
String getJsonFilename(String documentId, String extension) {
DateTime now = DateTime.now();
String formattedDate = DateFormat('EEE d MMM y kk:mm:ss').format(now);
return '$documentId $formattedDate.$extension.json';
}