Gets file name with extension from a given file. Given a file path, extracts and returns the full filename including its extension, without any directory components.
- Label: File
- Description: The file path from which to extract the complete file name.
- Required: Yes
- Default: None
- Constraints: None
Returns a STRING containing the complete file name (including extension) extracted from the given file path.
Throws BotCommandException on invalid input or internal failure.
