def get_extension(filename: str, default_extension="py") -> str:
    """ Get a file's extension (assumed to be after a period) """
    if not filename:
        return default_extension
    return filename.lower().split(".")[-1]