[00:00:38] https://translatewiki.net/wiki/MediaWiki:Revertpage/hr is not on hr wikipedia [00:00:41] work [08:02:37] guillom: Quite annoying that I don’t get notifications about changed sentences in tech news. [08:04:33] sjoerddebruin: Need to watch the subpage [08:05:00] What subpage? [08:05:43] If you translate into Dutch, then you need to watch Tech/News/2014/15/nl [08:06:06] When the bot edits the subpage, you'll get an e-mail [08:06:44] I was watching every sentence, but not the page. :( [08:07:24] And it was changed a few hours ago, I was still asleep then. [08:07:34] Yeah. sorry about that [08:25:24] sjoerddebruin: just tweak your preferences [08:25:45] What prefences? [08:25:49] preferences* [08:26:22] sjoerddebruin: https://meta.wikimedia.org/wiki/Special:Preferences#mw-prefsection-watchlist third last checkbox [08:26:51] Ah [10:24:18] hashar: my fault or jenkins'? [10:24:19] 10:17:36 Warning: PhantomJS timed out, possibly due to a missing QUnit start() call. Use --force to continue. [10:24:22] 10:17:36 [10:24:25] 10:17:36 Aborted due to warnings. [10:24:27] https://integration.wikimedia.org/ci/job/mediawiki-core-qunit/18682/console [10:24:37] try again maybe :-) [10:25:25] doing [10:31:15] Nemo_bis: there's a bug for that [10:31:22] Nemo_bis: started happening fairly recently :/ [10:31:50] Nemo_bis: hashar: https://bugzilla.wikimedia.org/show_bug.cgi?id=63579 [10:33:54] and it worked [10:34:06] ok thanks [10:44:17] MatmaRex: now I want to bake a patch for that enotif body link bug; did you have any bright idea on the topic? [10:44:57] Nemo_bis: enotif body? i don't even know what you're talking about :) [10:45:06] enotifs is something i usually avoid touching [10:45:26] brb in 20 minutes, the lecture's over and i have to move out. :P [10:49:07] hah [18:20:33] is this the appropriate place to get ahold of a toolserver (not labs) sysadmin? [18:21:11] we have some kid spamming our tool's email address with crap, presumably because his appeal was rejected. if possible i'd like to blacklist his email address. [18:22:08] my guess would be #wikimedia-toolserver (it exists and is well-populated) [18:22:22] perfect, thanks [20:23:10] andre__ can you help me with https://translatewiki.net/wiki/MediaWiki:Revertpage/hr not work on hr wiki? [20:46:44] does anyone here know what could be going wrong w/ an RC feed? [20:46:49] (non-Wikimedia) [20:48:36] boredom? [20:48:52] Jasper_Deng, no [21:28:26] Isarra: You'll enjoy https://gerrit.wikimedia.org/r/#/c/124387/ [21:31:49] why does everyone want sans for section headers? They look nice in serif. [21:32:20] * MartijnH immediately realises he might have flared up a holy war, and slinks away [21:32:47] Because they don't look nice in some dozen languages and for some poor souls who are still on Windows [21:34:39] ugh, is it that much of the 80's still that even the default serif fonts suck [21:42:29] odder: Interesting. [21:43:25] MartijnH: The serif fonts also don't necessarily match the sans fonts - even if each are nice on their own, clashing weights, height ratios, etc can make using them together a very poor experience indeed. [21:44:15] :( [21:44:17] If you have two fonts that are part of the same project and specifically made to work together, I doubt most folks would object, but there's no guarantee you'll have such available on any given system. [21:45:11] Is there any reason that browsers don't fix that in the default stylesheet, or do they generally find it more important to match the system defaults? [21:45:51] How would a browser fix that? [21:46:26] Font specifications are defined by the font, so what one font calls weight 600 can be very different from what another does, for example... [21:46:40] Or do you mean something else? [21:47:03] I'm no font expert, but I thought (probably mistakenly by the sound of it) that there generally are okish default fonts that have serif and sans [21:47:29] Oh, aye. [21:47:37] like DejaVu has a sans, mono and serif for example [21:48:51] A linux using dejavu as its general default would probably look fine, aside from the minor detail that dejavu serif is kind of ugly. [21:49:03] Then again, so is sans, but it only really shows at larger sizes. [21:50:36] The problem is you just can't guarantee what it'll be using for any of them, necessarily. [21:51:26] well that sucks. My assumption that this would be a sort-of solved problem were overly optimistic it seems [21:52:21] Well, if nothing else, it seems to be a lot better now than it used to be. [21:52:32] I dunno. [21:53:32] time for a WikiFont sister project :P [21:54:05] It could happen.