Make sure newest revision is newer than current in updateChecker

Theoretically, the API result of a parse request could be outdated compared to the API result of an edit request returning the ID of a revision just created.

src/js/updateChecker.js

@@ -95,7 +95,7 @@ async function checkForUpdates() {
     }, true);
 
     const currentRevisionId = mw.config.get('wgRevisionId');
-    if (revisions.length && revisions[0].revid !== (lastCheckedRevisionId || currentRevisionId)) {
+    if (revisions.length && revisions[0].revid > (lastCheckedRevisionId || currentRevisionId)) {
       const { revisionId, comments, sections } = await updateChecker.processPage();
       lastCheckedRevisionId = revisionId;