Function getBatchedPageTitle

src/scripts/stringUtils.ts:106–109

(titleOfDocument: string, pageIndex: number)

	}

	export function getBatchedPageTitle(titleOfDocument: string, pageIndex: number): string {
		const firstPageNumberAsString = (pageIndex + 1).toString();
		return titleOfDocument + ": " + Localization.getLocalizedString("WebClipper.Label.Page") + " " + firstPageNumberAsString;
	}

	export function generateGuid(): string {
		return "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, c => {