[01:15:32] <sDrewth>	 can someone please point me towards a decent explanation of "userexplevel" and what is configurable at a wiki level, if anything
[01:18:04] <sDrewth>	 all I can find is scrum of scrums and release notes, and that is rather slim
[01:19:01] <sDrewth>	 https://phabricator.wikimedia.org/T149637 seems to be all there is with detail'
[01:37:36] <Reedy>	 sDrewth: Doesn't look to have any wiki level config stuff
[01:41:58] <sDrewth>	 okay, thanks
[01:45:47] <p858snake>	 sDrewth: T2001 *waddles off*
[01:45:47] <stashbot>	 T2001: [DO NOT USE] Documentation is out of date, incomplete (tracking) [superseded by #Documentation] - https://phabricator.wikimedia.org/T2001
[02:05:36] <sDrewth>	 ah, it probably helps to have enhancedrc filters turned on, which I don't <= neanderthal man
[02:14:01] <sDrewth>	 ugh, which we call "Use non-JavaScript interface" with a toggle in preferences
[13:05:07] <Reventlov>	 Hey
[13:05:37] <Reventlov>	 I'm having trouble finding out if there is an option for https://www.mediawiki.org/wiki/Extension:OpenID#Configuration that allows to override username at every login (in case of a username change openid side)
[13:08:28] <Reventlov>	 is there some way to achiev this ?