Merge pull request #14063 from wfjsw/use-ext-name-for-installed

    return url

def get_extension_dirname_from_url(url):

    *parts, last_part = url.split('/')

    return normalize_git_url(last_part)

def install_extension_from_url(dirname, url, branch_name=None):

    check_access()

    assert url, 'No URL specified'

    if dirname is None or dirname == "":

        *parts, last_part = url.split('/')

        last_part = normalize_git_url(last_part)

        dirname = last_part

        dirname = get_extension_dirname_from_url(url)

    target_dir = os.path.join(extensions.extensions_dir, dirname)

    assert not os.path.exists(target_dir), f'Extension directory already exists: {target_dir}'

def refresh_available_extensions_from_data(hide_tags, sort_column, filter_text=""):

    extlist = available_extensions["extensions"]

    installed_extension_urls = {normalize_git_url(extension.remote): extension.name for extension in extensions.extensions}

    installed_extensions = {extension.name for extension in extensions.extensions}

    installed_extension_urls = {normalize_git_url(extension.remote) for extension in extensions.extensions if extension.remote is not None}

    tags = available_extensions.get("tags", {})

    tags_to_hide = set(hide_tags)

        if url is None:

            continue

        existing = installed_extension_urls.get(normalize_git_url(url), None)

        existing = get_extension_dirname_from_url(url) in installed_extensions or normalize_git_url(url) in installed_extension_urls

        extension_tags = extension_tags + ["installed"] if existing else extension_tags

        if any(x for x in extension_tags if x in tags_to_hide):