fix: StackExchange.realtime.reloadPosts accepts number[], not string[]

Author: double-beep

lib/stackexchange.d.ts

@@ -729,7 +729,7 @@ declare global {
             init(endpoint: string): void;
             log(message: { action: string; data: unknown }): void;
             reloadPosts(
-                postIds: string[],
+                postIds: number[],
                 includeComments?: boolean
             ): Promise<Record<number, JQuery>>;
             simulate(message: string): void;

spec/stackexchange.test-d.ts

@@ -401,4 +401,6 @@ expectType<boolean>(realtime.pauseQuestionNotifications);
 
 expectType<void>(realtime.debug("message"));
 
-expectType<void>(realtime.genericSubscribe("event", () => void 0));
+expectType<void>(realtime.genericSubscribe("event", () => void 0));
+
+expectError(realtime.reloadPosts(["1234", "32"]));