[03:02:37] legoktm: around? [03:02:59] aude: somewhat [03:03:39] have a question about extension registration (when you have time) [03:03:48] about registering extension namespaces [03:04:11] what's up [03:04:29] looking at gadgets [03:04:30] https://github.com/wikimedia/mediawiki-extensions-Gadgets/blob/master/extension.json [03:04:42] default namespaces are defined [03:05:02] is it possible to change / override these in local settings? [03:05:11] change which parts? [03:05:26] maybe use different namespace ids / numbers? [03:05:53] we want to similarly register namespaces for wikibase-related extensions [03:07:22] that would be https://phabricator.wikimedia.org/T152582 I think [03:08:21] ok [03:08:29] I was thinking of letting people define the const in LocalSettings, and if that const is already defined, than extension.json would use that value instead of redefining it [03:09:17] i think it's not enough to worry too much about right now, but we might want in the future [03:11:23] thanks [18:14:49] am I understanding correctly that if someone has two-factor authentication, their centralauth.globaluser.gu_id will be in centralauth.oathauth_users? [19:11:38] milimetric: yes