[18:04:24] <legoktm>	 ori: if you upload your public gpg key to github, it'll add a "Verified" label next to your signed tags (https://github.com/wikimedia/cdb/tags)
[18:51:00] <anomie>	 tgr: I implemented your "$wgAuthManagerAutoConfig" idea from the other day.
[20:37:01] <tgr>	 anomie: thanks! I tried to do that over the weekend but lost confidence
[20:38:03] <tgr>	 it seemed like putting the config copy after wgExtensionFunctions is executed is dangerously late but putting it before meanse oldstyle extensions have no way of using it
[21:11:44] <Reedy>	 tgr: callback "onRegistration" ?
[21:12:19] <Reedy>	 https://www.mediawiki.org/wiki/Manual:Extension_registration#Customizing_registration
[21:12:38] <tgr>	 by oldstyle I mean pre-extension-registration
[21:13:18] <Reedy>	 Age old question of whether old extensions should work with newest MW etc etc
[21:14:08] <tgr>	 haldf the extensions used in WMF production have not been converted to extension registration yet
[21:15:08] <tgr>	 although if an extension needs update due to AuthManager anyway, requiring it to be updated for extension registration as well does not seem terrible