[04:37:12] when someone turns off their TOR exit node, what time period would need to expire before mediawiki stopped blocking the IP? [05:26:08] sDrewth: depends on how long the TOR project takes to update their system. I would say a day or two [05:30:47] okay Betacommand, thx, I guessed at a day, but being TOR ignorant, wasn't sure how many dots needed to connect [05:31:25] sDrewth: dots? [05:32:16] dot to dots [05:32:39] 1 2 3 4 5 before you get a picture [09:52:58] How does one easily write in Special:MyPage/common.css "Ignore all that's written in MediaWiki:Common.css"? https://wikimania2014.wikimedia.org/wiki/MediaWiki:Common.css [09:53:46] !important ? [09:54:57] and? [09:56:58] I begin to suspect the only solution is not visiting that wiki at all [09:59:01] Nemo_bis: What do you want to do? [09:59:24] You can overwrite Common.css with your own stylesheet, it has a higher importance [10:00:35] It's skin files < on-wiki stylesheets < per-user stylesheets, afaik [10:17:02] I want to say to ignore everything defined in Common.css [10:17:23] the p style only if that's impossible [10:21:36] You'll have to overwrite each and every definition from that stylesheet with !important [10:21:54] hmpf [10:25:07] found a solution: cologne blue is less disrupted by their config [10:29:38] lol [10:45:50] Nemo_bis: you could write your own skin, that'd be really helpful to many. The list is getting shorter and shorter, with only 2 skins staying in core these days, and not many maintained properly. [11:00:48] gry: I'm too lazy to overwrite one p statement, do you really think I'd write a skin? [11:01:14] I'm fine with monobook anyway; I just hope WMF doesn't ruin that one too [11:07:36] Win 95/98/ME style is still better than anything from XP onwards, too; I don't see why monobook wouldn't serve us well for 20 more years [11:11:53] Nemo_bis: you're too optimistic. They can plan to only maintain (a) mobile-friendly skin(s) in long term, so the mobile folks just start working on them(it) instead of repeating a lot of interface work, I suspect. [11:13:01] So? [14:51:23] Request: GET http://nl.wikipedia.org/wiki/Overleg:Fotografie_van_A_tot_Z, from 91.198.174.62 via amssq48 amssq48 ([91.198.174.58]:3128), Varnish XID 2745682738 [14:51:23] Forwarded for: 212.123.157.236, 91.198.174.62 [14:51:23] Error: 503, Service Unavailable at Mon, 31 Mar 2014 14:51:00 GMT [14:52:18] oh working again [18:10:17] aude: re: https://gerrit.wikimedia.org/r/#/c/122442/1 [18:10:25] So this just applies to Special pages? [18:10:31] afaik [18:10:38] ok [18:10:40] will test [18:10:57] the table element there decreases the margin as well as h2 [18:11:12] let me update the commit message [18:11:57] What Special pages have an h2, if you recall? [18:12:42] Ah I see what you mean. Like on https://www.mediawiki.org/wiki/Special:SpecialPages [18:12:45] yeah [18:12:47] probably others [18:16:44] back in hour or so [18:17:53] k [18:50:32] [[Tech]]; PiRSquared17; /* deployment.wikimedia.beta.wmflabs.org not loading */ new section; https://meta.wikimedia.org/w/index.php?diff=8017171&oldid=7914871&rcid=5141348 [18:53:12] [[Tech]]; 212.123.157.236; /* deployment.wikimedia.beta.wmflabs.org not loading */; https://meta.wikimedia.org/w/index.php?diff=8017205&oldid=8017171&rcid=5141353 [18:53:41] [[Tech]]; TBloemink; /* deployment.wikimedia.beta.wmflabs.org not loading */ this was me; https://meta.wikimedia.org/w/index.php?diff=8017210&oldid=8017205&rcid=5141354 [19:10:24] [[Tech]]; Se4598; /* deployment.wikimedia.beta.wmflabs.org not loading */ re; https://meta.wikimedia.org/w/index.php?diff=8017403&oldid=8017210&rcid=5141432 [22:55:34] I have a question regarding capitalization of links in the article body. Afaik links can be all lowercase, despite articles having to start uppercase. How are non-ASCII letters handled in this regard? What happens to an 'ä' or 'á' for instance? [22:56:24] Adrian1885: https://en.wikipedia.org/w/index.php?title=Special%3APrefixIndex&prefix=%3F&namespace=0 [22:57:59] Adrian1885: also it depends on the wiki. For instance wiktionary does not first char capitalization. [23:00:14] Ah I see. I'm interested in Wikipedia.org only. So any letter that is not a-z/A-Z would be prefixed with a '?', correct? [23:00:34] no [23:00:51] it will be presented as it is, unless it is forbidden [23:00:59] only very few characters are forbidden [23:01:40] just put anything you want in that Special:PrefixIndex page field and you will likely find something starting with that letter. [23:02:44] most unicde emoticons are page titles for instance, redirecting to the article about the emoticon unicode character subset [23:02:44] Sorry I misunderstood, I had assumed you showed me the ? page to demonstrate what happens to 'ä', now I get what you mean. [23:05:19] Adrian1885: ‘ä’ has an article [23:05:23] https://en.wikipedia.org/wiki/%C3%84 [23:09:08] Is there a certain library that wikimedia uses to auto-capitalize lowercase links? ICU? [23:13:17] Adrian1885: I think just mb_strtoupper [23:13:25] which i assume uses the standard unicode case mappings [23:13:43] we might have some old case mappings sitting around too for compat, i don’t recall [23:13:46] thanks brion, i'll look into it!