[12:03:07] DanielK_WMDE_: Surprise, I'm here! ;) [13:05:29] are there any tech folks in here who are also OTRS? [13:13:04] primefac, why would it matter? [13:14:43] because a user is requesting that we make an exception for [[It: Chapter One]] (since it currently is treated as an it-wiki redirect) they refuse to accept "this is a fundamental feature of the wikimedia software and cannot be changed". They want to speak to "someone with more authority" [13:15:02] and while I could tell them to just go away, I thought I'd see if someone here with "more cred" could respond [13:15:42] because nothing says bureaucracy like shifting the onus onto someone else [13:16:22] alternatively, if you have a suggestion for how I can tell them that it's never going to happen, I'm happy to pass that along [13:58:35] primefac: do you mean an exception from how the wiki parses that title as an interwiki link? [14:00:45] yes [14:01:14] because currently [[It: Chapter One]] points to an article on the Italian wiki [14:04:53] ok, just wanted to clarify because it wasn't clear from what you said what the user complained about [14:05:13] apologies [14:05:30] maybe he wants an article or redirect on one of the italian projects named [[Chapter One]] because of this, or I dunno [14:05:59] no, he wants a redirect to [[It (2017)]] because eventually "Chapter Two" will be coming out [14:06:02] I mean, we have [[Main page]]s in some wikis in totally the wrong namespace [14:07:47] eg. https://en.wiktionary.org/wiki/Main_Page?redirect=no is clearly in the wrong namespace, but we sometimes allow such redirects for important pages from the main namespace for convenience [14:08:22] en.wikipedia has thousands of abbreviated titles in the main namespace pointing to various other namespaces, mostly Project: [15:01:31] primefac: https://en.wikipedia.org/wiki/Wikipedia:Naming_conventions_(technical_restrictions) [15:02:19] there are no exceptions (Because it's a technical limitation, if exceptions were possible, then we wouldn't have the problem in the first place) :) [15:04:05] thank you [15:04:10] no higher power than WP itself [18:10:18] brion: What's the status of https://phabricator.wikimedia.org/T167000#3581857 (Extract video encoder=Google) [18:21:40] Dispenser looks like it never got merged but I saw no probs with it, so merging now... [18:21:54] Will go out with next weeks update if I don't have chance to push it earlier [18:22:20] ok [19:33:33] hi.. how to change a nickname? [19:35:19] on meta? [19:35:23] Zoranzoki21: On wiki or in IRC? [19:36:05] https://meta.wikimedia.org/wiki/Global_rename_policy#Requesting_a_global_rename fo on wikipedia/wikimedia [19:36:17] on irc [19:36:19] use /nick for irc [19:36:23] thank you [19:37:42] http://www.ircbeginner.com/ircinfo/ircc-commands.html [19:37:59] helpful stuff^ for using IRC [19:44:17] thank you [22:22:18] [[Tech]]; 150.212.127.3; /* HELP!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! */ new section; https://meta.wikimedia.org/w/index.php?diff=17296540&oldid=17287706&rcid=10642779 [23:27:14] [[Tech]]; Zppix; /* HELP!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! */; https://meta.wikimedia.org/w/index.php?diff=17296632&oldid=17296540&rcid=10642895