[01:29:58] Trying to jump from a db which I presume was for 1.22 straight to 1.35.4, and got stuck at: Error 1062: Duplicate entry '7391' for key 'ar_revid_uniq' (localhost) [01:30:19] What am I doing wrong? [01:37:47] so i guess its complaining that the same revision got deleted twice [01:38:28] I think i would just find the record in the archive table that has ar_rev_id set to 7391, and delete it (Definitely make backups before doing this, ymmv, etc) [01:40:32] Also, what does "User name "Dishwasherreviews" is usable, cannot create an anonymous actor for it. Run maintenance/cleanupUsersWithNoId.php to fix this situation." mean? [01:44:05] It typically means that the user was imported [01:44:26] It happens for users that are marked as "IP addresses" even when they are not ip addresses [01:45:00] Searched through ar_rev_id... none are 7391. 7376 is immediately followed by 7400 [01:45:58] bawolff, So, am I going to lose information by running cleanupUsersWithNoId.php? [01:46:45] Ah, nvm, searched the db for the wrong instance [01:49:00] cleanupUsersWithNoId.php should in theory just convert the user from an anonoymous user to a real user [01:49:42] or just the name to something invalid [01:49:47] Oh, ok [01:50:23] I have heard some people have problems with that script where it didn't work for them. They seemed to work around that by upgrading to the version it was introduced, running the script, and then upgrading the rest of the way [08:09:17] Hi Which code review tool does mediawiki use officially phabricator or Gerrit? [08:10:11] Gerrit for code review/patches, phabricator for task discussion [21:54:44] Is it safe to replace certain duplicate ar_rev_id with a random unused number? [21:55:01] I am trying to combat Error 1062: Duplicate entry '8128' for key 'ar_revid_uniq' [21:56:57] Nvm, seems to work fine [22:01:07] I am trying to convert a certain ancient wiki into a set of static uneditable pages. Any extension to help with that? [22:01:20] It might mean that if you try and undelete that page, the revisions might not undelete properly [22:01:37] wget perhaps? [22:02:09] bawolff, I mean, in a more pretty way than just to rip out rendered pages [22:02:45] If you disable editing first (via $wgGroupPermissions) the resulting output won't look like you can edit it, so it might not be too bad [22:03:01] There's some really old extensions to do that sort of thing, but I don't think they're maintained anymore [22:03:01] There is no point in editing this wiki, and was long replaced with a different one, but this one is a historic artifact that I want to preserve for the future generations [22:03:41] Well, in the end, it is a small wiki, and I might just manually reformat them into a more appropriate form [22:03:47] Or you can just keep it around with editing disabled (Like https://nostalgia.wikipedia.org/wiki/HomePage) [22:04:01] If you want just the page contents (no skin stuff) you can add ?action=render to the end of urls [22:04:15] Okay, will keep in mind