[issue19152] Add ExtensionFileLoader.get_filename().
5 files changed