[00:12:07] sumanah: Ok, got it going [00:12:14] A little bit [00:12:40] (nothing public to show you, but the API is usable, just not documented, but pretty advanced and effecient) [00:13:00] Krinkle: cool! right. [00:13:08] (and subject to change, a lot) :( [00:13:24] sure, but that's doable, they'd have to update their front-end too [00:14:35] they're using jsonrpc as context type, similar to bugzilla [00:14:55] not as popular as straight json or jsonp, or 'restful'. but workable. [00:15:09] I'll try and hack something up tonight [00:15:14] Just proof of concept [00:17:34] cool [00:17:38] I appreciate it [00:17:49] I think this'll help with a significant annoyance in Gerrit [00:18:15] Roan said that changing "+2" and "+1" and "-1" and "-2" on the buttons was not possible really because of the way they deliver JS [00:18:16] well, before it can do what gerrit can do (not to mention to make it better) we'll be a few weeks/ month further [00:18:21] if we're doing it at all [00:18:37] changing it in gerrit itself is impossible indeed [00:18:38] wait, Krinkle, what is it you got going? [00:18:53] I thought we were just talking about a bookmarklet to transform Gerrit project names into gitweb URLs [00:19:10] * sumanah may have misunderstood [00:19:11] I'm gonna create a very ugly thing on toolserver tonight that'll probably only have 1 button (e.g "{show my projects}") and get it from gerrit [00:19:24] oh! [00:19:27] ok [00:19:42] and if that works, it's a proof of concept and we can decide wether or not to try this [00:20:04] but even if we do it'll still be a few months with gerrit's UI. and it's not all that bad, just counter intuitive and unexplained for what we are used to. [00:20:11] once known and documented, it's workable [00:20:33] * sumanah is dubious but will not interfere [07:44:22] Joan, have you had a look at https://bugzilla.wikimedia.org/show_bug.cgi?id=12262 ? [07:44:59] In particular, whether the patch still has the problems for which you reverted a similar change in https://en.wikipedia.org/wiki/MediaWiki_talk:Common.css/Archive_6#dd_vs_notice_vs_dablink [08:09:27] Nemo_bis: I'd completely forgotten about that. [08:09:31] Back in my admin days... [08:09:37] heh [08:09:50] I vaguely remember the issue. [08:10:26] Wha amuses me is that 5 users on en.wiki can impose a style change on a very common item for all MediaWiki users. [08:10:42] But anyway, I don't know anything about CSS so I can't judge if it even works. [10:55:41] any staff here? [18:13:29] Hoi, do we have a tool that can check if a webpage has changed in the last day ? [18:13:33] and send a message when it has not ?? [18:21:25] the question has a real world application ...