[01:21:42] <tgr>	 I updated the docs. Yeah that warning was about CentralAuth variables like $wgCentralAuthDatabase; historically we had an <extensionname>.php file for each extension which assigned the globals their default values,
[01:22:55] <tgr>	 so if you tried to configure the setting before loading that file it got overwritten by the default. wfLoadExtension just adds the extension to a queue and processing happens at a well-defined time after all of LocalSettings have been executed, so that's not an issue anymore.
[01:23:31] <tgr>	 CentralAuth never wrote to $wgConf so the warning never applied to that variable.
[18:20:15] <MatmaRex>	 tgr: since i finally wrote https://gerrit.wikimedia.org/r/c/mediawiki/extensions/CentralAuth/+/968382 , i'd like to get that merged before making further changes - could we finish it in time for next week's train?
[18:20:27] <MatmaRex>	 and then for the next week after that, i could merge https://gerrit.wikimedia.org/r/c/mediawiki/extensions/MobileFrontend/+/968386 (if you promise that it works, i really don't want to set that up locally) and the mediawiki-config changes