[00:52:41] Ah. Given a filename (let's say, "en-us-pope.ogg", as represented by https://commons.wikimedia.org/wiki/File:En-us-pope.ogg), how do I best get the URL of the underlying file (https://upload.wikimedia.org/wikipedia/commons/8/87/En-us-pope.ogg)? I'm happy to query the SQL with Quarry, but I've got 130,000 filenames to resolve to URLs, so I suspect there's a better way... [00:58:32] aquarius: uh, i don't even know how to get this from the database, but there is an api [00:59:30] aquarius: https://commons.wikimedia.org/wiki/Special:ApiSandbox#action=query&format=json&prop=imageinfo&titles=File%3Aen-us-pope.ogg&iiprop=url [00:59:37] https://commons.wikimedia.org/w/api.php?action=query&format=json&prop=imageinfo&titles=File%3Aen-us-pope.ogg&iiprop=url [00:59:52] Happy to query an API too, but doing so a hundred thousand times is unwarranted stress on the servers, perhaps. On the other hand, I don't really want to download a table dump containing fifteen billion sets of file metadata so that I can get the ones I want :) [01:00:13] I mean, I can hit the API at runtime, but that seems again unpleasant on the servers...? [01:00:48] although tbh maybe hitting the API is reasonable, and I can always cache the URL (and ideally the downloaded ogg) if necessary [01:02:03] MatmaRex aquarius Doesn't the api allow for titles to be sparated by bars? So &titles=File|File|File ? [01:02:26] I thought there was a limit of like 50 files, but that will allow for batch processing better. [01:02:29] I could be wrong though. [01:02:34] Matthew_: aquarius: yeah, you can do up to 50 at once [01:03:05] aquarius: as long as you do no more than 1 query per second, you should be fine. :P [01:03:25] it might do -- am I OK to hit the API 125000/50=2500 times? :) [01:03:38] I mean, that's only an hour. I can cope with that :) [01:03:39] I would assume that's ok if you space it out. [01:03:52] cool. I was worried that that would look like something terrible [01:04:13] MatmaRex knows better than me, though. [02:31:14] [[Tech]]; 63.143.116.143; /* MI */ new section; https://meta.wikimedia.org/w/index.php?diff=15546338&oldid=15536845&rcid=7680814 [02:31:24] [[Tech]]; RadiX; Reverted changes by [[Special:Contributions/63.143.116.143|63.143.116.143]] ([[User talk:63.143.116.143|talk]]) to last version by ArchiverBot; https://meta.wikimedia.org/w/index.php?diff=15546340&oldid=15546338&rcid=7680815 [15:05:44] hey tech, any idea how a page move could get logged and show up as an edit twice? https://en.wikipedia.org/w/index.php?title=Patricia_Driscoll_(executive)&diff=716447874&oldid=716447860 [15:29:41] was there a history merge? [15:33:11] no [15:33:46] no move in between either. The user said they encountered error when trying to move, then checked the page history to find it had been moved... twice! [15:33:56] I was not told what the error said, but will ask