From bce2eb7f967dd0065bb54408089204f992a8ff5d Mon Sep 17 00:00:00 2001 From: Roman Date: Mon, 7 Dec 2020 14:04:47 +0200 Subject: [PATCH] fix: make lint happy Signed-off-by: Roman --- src/extensions/registries/page-registry.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/extensions/registries/page-registry.ts b/src/extensions/registries/page-registry.ts index 404325f983..ee6804c8ca 100644 --- a/src/extensions/registries/page-registry.ts +++ b/src/extensions/registries/page-registry.ts @@ -52,12 +52,13 @@ export function getExtensionPageUrl(target: PageTarget): string { if (targetPage?.params) { Object.entries(targetPage.params).forEach(([name, param]) => { const paramValue = targetPageParams[name]; + if (param instanceof UrlParam) { pageUrl.searchParams.set(name, param.stringify(paramValue)); } else { pageUrl.searchParams.set(name, String(paramValue ?? param)); } - }) + }); } return pageUrl.href.replace(pageUrl.origin, "");