rename web/ to admin/, along with the web-named build and cli identifiers

2026-08-16 00:17:58 +02:00
parent 5b3d1cd65c
commit 1e97c80f6b
136 changed files with 196 additions and 196 deletions
@@ -0,0 +1,11 @@
+export function toggleSource(ids: number[], id: number): number[] {
+	if (ids.includes(id)) return ids.filter((existing) => existing !== id);
+	return [...ids, id].sort((a, b) => a - b);
+}
+
+export function sameSet(a: number[], b: number[]): boolean {
+	if (a.length !== b.length) return false;
+	const sortedA = [...a].sort((x, y) => x - y);
+	const sortedB = [...b].sort((x, y) => x - y);
+	return sortedA.every((value, i) => value === sortedB[i]);
+}