Update banner and cookie for deleting extensions message#6810

netomi merged 1 commit intomainEclipseFdn/open-vsx.org:mainfrom

deleting-extensions-banner-patch-1EclipseFdn/open-vsx.org:deleting-extensions-banner-patch-1Copy head branch name to clipboard