[00:31:39] PHP7 as a user setting, how does this even work? Doesn't the webserver already need to process the request with authentication and PHP before the PHP version can be decided? [00:32:07] is it a cookie that triggers Varnish code? [00:39:52] ToBeCloud it's a cookie i think [00:40:08] or rather something set in the header [00:41:11] ToBeCloud: basically, yes [00:41:40] heh, the "basically" part of this sounds mysterious [00:42:07] magic behind the scenes. :D [00:42:15] ToBeCloud: oh, i just don't know exactly how it's done, i don't think it's mysterious [00:42:24] ah ok [00:42:46] it is definitely a cookie that is handled by something in front of webservers, and routes your request to a different webserver depending on the cookie [00:43:36] which is close enough to what you said, but less specific/precise ;) [00:44:07] ^^ thanks [00:45:19] oh wait [00:45:19] that means I have a server shared only with, like, 1000 people, instead of the world [00:45:19] I just got Wikipedia Premium [00:47:02] haha :D [01:14:03] [[Tech]]; Tacsipacsi; /* CSS for bulleted horizontal lists broken? */ works for me; https://meta.wikimedia.org/w/index.php?diff=18811871&oldid=18811592&rcid=13089574 [03:59:58] [[Tech]]; IagoQnsi; /* CSS for bulleted horizontal lists broken? */ reply; https://meta.wikimedia.org/w/index.php?diff=18812150&oldid=18811871&rcid=13090019 [04:01:02] [[Tech]]; IagoQnsi; /* CSS for bulleted horizontal lists broken? */ remembered in more detail; https://meta.wikimedia.org/w/index.php?diff=18812154&oldid=18812150&rcid=13090023 [12:49:54] Hello, I tried to install refreshed skin in my localhost but it is not applied to the page. I checked the preferences and localsettings, everything are fine, but dont know how to fix the error. Any help :) [14:36:09] Did you try "Take the files out of the wikifont-master folder and put them in the wikifont folder" ? [14:37:42] Gopa: Thanks for the help, I got it [14:45:50] xSavitar: ping ! [14:46:11] o/ [14:46:54] Hello xSavitar any update on spoofing the description of https://phabricator.wikimedia.org/T202233 ? [14:47:14] Will be coming shortly! [14:48:01] xSavitar Okay please get back to me about that :) [14:50:24] Sure! [18:32:14] Hi, what tag PHP7 means? See https://sr.wikinews.org/wiki/Посебно:СкорашњеИзмене?hidebots=1&hidecategorization=1&hideWikibase=1&limit=250&days=7&urlversion=2 [18:42:18] I think it means edit was done on experimental php7 servers (as opposed to hhvm) [18:43:16] Presumably so that if any weird bugs come up we will know the source [18:45:00] bawolff: Oh, ok then! [18:45:05] https://www.mediawiki.org/wiki/Beta_Features/PHP7 [18:45:09] :) [18:45:16] Zoranzoki21: See that for more info. [18:46:14] Thanks Bsadowski1 [18:49:34] So I saw that tagging my enwiki edits earlier [18:49:41] I wonder if we should protect the page it links to [18:49:49] guess it depends how widely these will start appearing [20:31:23] Quick Q: is there any tools (even just set of css) to make Wikipedia 'dark mode'? [21:32:39] hi, I got pointed out some image corruption: https://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Zevenhuizen_Moerkapelle_wapen.svg/375px-Zevenhuizen_Moerkapelle_wapen.svg.png [21:32:53] https://commons.wikimedia.org/wiki/File:Zevenhuizen_Moerkapelle_wapen.svg [22:50:38] created https://phabricator.wikimedia.org/T214738 for the above [22:52:36] lol [22:52:46] it only seems to be broken for some values between 300 and 400px [22:53:04] Reedy: thanks for updating, no idea what tag to put on [22:53:18] Well, it's a SVG rendering problem ;) [22:53:52] yep, but if you don't know these tags are there :-)