| // Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| import 'media_types.g.dart'; |
| |
| /// The default file extension for a given MIME type. |
| /// |
| /// If [mimeType] has multiple associated extensions, the returned string is one |
| /// of those, chosen as the default extension for that MIME type. |
| /// |
| /// Returns `null` if [mimeType] is not a recognized and supported MIME type. |
| String? extensionFromMime(String mimeType) { |
| final exts = mediaToExtensions[mimeType.toLowerCase()]; |
| return exts?.first; |
| } |