[14:18:35] Hi, is stream.wikimedia.org alive?. I have a lot of 502/503 errors [14:19:11] Superzerocool: It's having a few issues atm [14:20:00] Okay, thanks! [16:19:03] brion: thedj: have you seen "picture in picture" in Chrome for native videos? Trying out videoJS with JS disabled and getting this to work is quite neat: [16:19:19] https://usercontent.irccloud-cdn.com/file/MwIsy49e/Screenshot%202019-06-28%20at%2017.17.30.png [16:19:45] https://usercontent.irccloud-cdn.com/file/WVCMldxv/Screenshot%202019-06-28%20at%2017.19.38.png [16:22:41] Krinkle: it's pretty sweet yeah. Safari has similar too but to use it with the shim I need some bug fixes in WebKit :) [16:27:23] brion: I see in video js mode in chrome it is actually available as well, in the context menu when clicking on the video, but not very discoverable. Don't know how important it is, but quite nice anyhow. [16:31:47] Yeah it's be nice to add a control for it later but we'll want to rethink the menu laylutb [16:31:49] Layout [16:33:14] brion: retina/hidpi for the poster image would also be nice [16:33:21] couldn't find any mention of it upstream, checking phabnow [21:45:05] hauskatze, fyi, left a negative review at the close wikimania2018wiki patch [21:46:02] Urbanecm: didn't know. I'm catching up with things today. Busy day [21:46:39] hauskatze, sure, tyt, just wanted to make sure you know about it, since i know you're busy and might not notice the gerrit notification :) [21:47:19] Urbanecm: np, thanks for that. I wasn't aware of the commonsupload stuff [21:47:29] I'll amend the patch [21:47:33] thanks :) [21:47:46] hauskatze, thanks, honestly, I'm not sure if it is an issue, just reminded me of the private wiki issue [21:48:22] wikimania.* wikis will get deleted or redirected once fully integrated into the wikimania.wikimedia wiki iirc [21:48:38] that'd take some time I guess, to import stuff, etc. [21:49:25] maybe, but it's not a priority, probably :) [21:49:28] I doubt any of them are going anywhere any time soon :P [21:55:41] quick quick Q: is there any kind of gadget or personal JS stuff to make using w.wiki url shortner easier? [21:56:03] (so that I don't need to browse m:Special:UrlShortener every time I want to do it) [21:57:18] that's not a quick quick but a long question revi :P [21:57:27] A: No that I know of [21:58:46] lol [21:58:57] let's say that last Q stands for Quick as well [21:58:58] /hk [21:59:00] jk* [22:30:53] Urbanecm: hope not to wake you up. But I've fixed the patch. [22:31:06] hauskatze, thanks [22:31:09] PS: I'm not sleeping :)