[00:02:55] Heh. [00:08:22] ugh, 64px seems non-standard [00:08:32] 50 and 80 are much more so [00:50:26] 64 is standard for computer graphics (JPEG blocks are multiples of 8) [00:50:41] does anyone know the standard formatting that wikipedia uses for ipv6 addresses? [01:24:28] is unusedfiles supposed to include deleted files? https://bugzilla.wikimedia.org/show_bug.cgi?id=69133 [01:47:06] jayvdb: I don't think it should, from a practical point of view [01:54:43] is it a job that that is running slowly, or a bug in mediawiki ? [04:58:22] jayvdb: I'll try and investigate if I have time [11:57:48] wikimedia labs central mariadb10 server is down. can anybody help to fix it? marc seems to be alseep [12:06:19] Merlissimo: tried in #wikimedia-labs and #wikimedia-operations already? [12:06:27] just saying, might also get some attention there [12:07:53] andre__: yes, already pinged andrew, marc and sean in -labs, but they all are marked away [15:08:44] . [16:35:06] Hello! Im wonder if there is an API call that will return the page for say "douglas hofstadter" in one go. Without having to follow redirects for different case. [16:36:39] Currently I do it like this: http://en.wikipedia.org/w/api.php?action=parse&page=douglas+hofstadter [16:36:44] Which gives me some weird text. That I would have to parse and then follow the link to the uppercase version. [16:36:51] I wonder if there is an easier way. [19:54:16] YuviPanda: https://bugzilla.wikimedia.org/show_bug.cgi?id=64078 should be closed?