File name.
String fileName(String? file) { if (file == null || file.isEmpty) { return ''; } return file.trim().split('/').last; }