[02:34:10] I notice that Lua/JS/etc pages all have wgPageContentLanguage = "en", regardless of project language. anyone know whether this is a bug or not? [02:35:03] We have both wgContentLanguage and wgPageContentLanguage? [02:37:16] huh. wgContentLanguage is the local language, while wgPageContentLanguage is not. [02:37:32] good to know. thanks Elsie :) [02:38:06] I was really asking. I'm not sure what the distinction is. [02:38:24] Maybe the Translate extension uses PageContentLang. [02:40:00] well, I don't know what the difference is supposed to be, but now that I'm aware that both of them exist and that wgContentLanguage returns the results I want, my problem is solved. [02:40:24] I wonder if there's documentation for the wgs anywhere [02:40:54] YairRand: the contenthandler for those pages overrides the default language and sets it to english because those Lua/JS are both written in English technically [02:41:18] https://github.com/wikimedia/mediawiki-core/blob/master/includes/content/JavaScriptContentHandler.php#L58 [02:41:31] legoktm: or perhaps, more technically, they're written in Lua and JS. [02:41:55] well, yes :P [09:43:29] uh, it.wiki read-only [13:47:09] I wonder if someone translated "Developers" in an ambiguous way. https://www.mediawiki.org/wiki/Talk:How_to_contribute [13:51:46] Elsie: https://translatewiki.net/w/i.php?title=MediaWiki%3AWikimedia-developers%2Fqqq&diff=5086244&oldid=4879912 [14:39:14] Hey everyone [14:40:57] is there any gitblit maintainer around? I'd like to show you a bug report I'm too busy/lazy at the moment to track down [15:02:30] dMaggot: can you just tell us? [15:24:45] hello [15:25:02] how to use this template {{tree list}} in arabic wiki [15:31:04] hashar: do you still have that CI meeting with Krinklee on Mondays (in 30 minutes according to WMF Engineering calendar)? [15:33:17] greg-g: yes [15:33:21] it is a weekly meeting [15:33:30] cool [15:33:32] bug triage / ranting / roadmap discussion [15:33:35] feel free to come [15:33:56] hashar: maybe :) [15:34:23] jeremyb: something along these lines: If I try to link to a commit in mediawiki/core.git that doesn't [15:34:36] jeremyb: the reason is that gitblit expects something like reponame/commit [15:34:59] jeremyb: but if reponame has a / that becomes repo/name/commit and gitblit tells you repo has no commit name [15:35:21] jeremyb: curiously, the links from the gitblit interface work, but you cannot copy and paste those links elsewhere [15:35:34] you can try with [15:35:43] curl -I http://git.wikimedia.org/commit/mediawiki/core.git/e2d237dfa13ded0210117f616cfea7a3430e4694 [15:35:53] curl -I http://git.wikimedia.org/commit/mediawiki%2Fcore.git/e2d237dfa13ded0210117f616cfea7a3430e4694 [20:15:20] dMaggot: so what's the bug? does gitblit itself generate the wrong URL ever? or anything else? [20:15:37] i noticed that too found it annoying but i'm living with it [20:18:53] it's too cached :( [20:26:41] Reedy: that's not related to his report, right? :) [20:27:04] Depending on what wrong url actually means ;) [20:27:54] 28 15:35:44 < dMaggot> curl -I http://git.wikimedia.org/commit/mediawiki/core.git/e2d237dfa13ded0210117f616cfea7a3430e4694 [20:27:57] 28 15:35:53 < dMaggot> curl -I http://git.wikimedia.org/commit/mediawiki%2Fcore.git/e2d237dfa13ded0210117f616cfea7a3430e4694 [20:28:01] one of those works, one doesn't [20:28:05] Reedy [20:29:57] jeremyb: the bug might be in the browser now that I think of it... [20:30:13] dMaggot: no [20:30:24] did i mention that... 28 20:15:37 < jeremyb> i noticed that too found it annoying but i'm living with it [20:30:39] i'm pretty certain it's not a browser thing [20:31:00] how do you explain curl mirroring the same behavior if it's the browser? [20:31:30] jeremyb: if your browser didn't try to be smart about %2F it would send the correct URL to gitblit, like curl does [20:31:38] jeremyb: btw, I just confirmed it works in Firefox [20:31:55] Firefox 23.0 to be exact [20:32:06] still, gitblit could be improved to try harder, e.g. [20:32:13] well it certainly works for me [20:32:16] sure. file a bug :) [20:32:22] let us know the number [20:32:23] there's no reason it should tink core.git in the url is a commit id [20:32:55] https://code.google.com/p/gitblit/issues/list [20:33:01] really? [20:33:15] !master README [20:33:15] https://git.wikimedia.org/blob/mediawiki%2Fcore.git/master/README [20:33:21] you mean that link's broken? [20:33:22] WFM. [20:33:29] MatmaRex: no, he doesn't [20:33:36] it does on good browsers [20:33:39] ah [20:34:19] http://git.wikimedia.org/commit/mediawiki/core.git/e2d237dfa13ded0210117f616cfea7a3430e4694 this doesn't [20:34:22] https://git.wikimedia.org/commit/mediawiki%2Fcore.git/e2d237dfa13ded0210117f616cfea7a3430e4694 this does [20:34:33] gitblit and gerrit generate the correct ones [20:34:40] as far as i can see [20:35:01] dMaggot: it's obviously splitting the url into parts on m|/|. and so it has hard coded an array index to commit id. not a horrible way to do it [20:35:24] jeremyb: under which circumstances can core.git be a commit id? [20:35:30] jeremyb: a tag name probably? [21:09:24] dMaggot: grrrrrr [21:09:29] dMaggot: did you read what i wrote? [21:09:56] dMaggot: commitid = url.split('/')[COMMITID_INDEX] [21:09:57] bye [21:10:13] jeremyb: i need to catch up with today's email... any news on smart ? [21:15:28] jeremyb: I read your obvious remarks about the current code, my question is about how to make that code smarter [22:06:39] Request: POST http://meta.wikimedia.org/w/index.php?title=Grants_talk:IEG/Rural_Community_Engagement&action=submit, from 208.80.152.87 via sq78.wikimedia.org (squid/2.7.STABLE9) to () [22:06:43] Error: ERR_CANNOT_FORWARD, errno [No Error] at Mon, 28 Oct 2013 22:06:23 GMT [22:09:30] and again [22:15:30] Nemo_bis: As it says, [No Error] [22:19:01] ... [23:53:02] what's with the new font in interwikis? [23:53:34] the lotters are not continous [23:53:36] letters