[09:21:56] Is that log still active? 'wgDebugLogGroups' => array( 'default' => array( 'cite' => "udp://$wmfUdp2logDest/cite", // to see how it's used;) -ævar [09:45:33] Nemo_bis: No idea? Did I write that? That'll have been >6 years ago [09:45:56] avar: more like 10 probably :) [09:46:59] probably it was just forgotten in https://noc.wikimedia.org/conf/InitialiseSettings.php.txt [10:39:49] hmm, is there any magic word that gives you the username of the current logged in user? [10:45:25] Thehelpfulone: no [10:46:13] there is {{REVISIONUSER}} only, which can sometimes do what you need (for subst:-ing, for example) [10:47:21] Thehelpfulone: no, and never will be due to performance reasons (quoting several devs in mlist or bugzilla) [10:47:38] where performance is mostly question of caching [10:48:56] hmm ok, for https://meta.wikimedia.org/wiki/Grants:TPS/Wikimania_scholars I was trying to get it so users didn't have to put their own username - initially it was a placeholder, I switched that to default so that should make it a little easier (and less likely for them to mess up) [10:51:29]  [12:59:31] ^C [13:00:21] Thehelpfulone: Could do it with JS. [15:04:57] manybubbles: meep :P [18:49:04] Hello, can someone say where is the moment.js module documented? [18:51:34] Perhelion: http://momentjs.com/docs/ [18:52:34] marktraceur: The correct response was "Just a moment" [18:56:13] oh yeah but for mediawiki? because since some days it's not working anymore. I heared the MediaViewer used this module too [18:56:58] I used this code moment().format('YYYY-M-D') [19:11:11] I found the reason, this modul is incorporated by the MV, so I need to load it explicit [19:16:49] You should always do that [19:16:54] Rather than expecting it's there :) [19:25:14] I don't know how :P [19:26:23] mw.loader.using('module.name', function() { [code to run once it has loaded] } ); [19:26:33] I think the module name for this is just 'moment'? [19:29:04] oh yes [19:30:12] I got it mw.loader.getModuleNames() [19:30:45] legoktm: thank you ! [21:15:17] People are aware https://wikitech.wikimedia.org/ DNS is broken, right? [21:15:47] It's not a DNS issue [21:15:49] But it's known [21:18:15] fixed it seems