[01:53:08] <legoktm>	 (it's fixed now)
[07:49:48] <Nemo_bis>	 Uh https://stackoverflow.blog/2019/03/28/the-next-ceo-of-stack-overflow/
[09:09:06] <Trizek>	 Hey, I have a last-minute request to temporary lift of IP cap on fr.wikipedia.org https://phabricator.wikimedia.org/T219594
[09:09:21] <Trizek>	 they gave me a wrong IP and I only have the right one since a few minutes. 
[09:25:24] <mutante>	 Trizek: are you able to make the code change for it?
[09:25:34] <mutante>	 Trizek: check https://wikitech.wikimedia.org/wiki/Deployments  and see if you can get it into a SWAT window
[09:25:44] <mutante>	 oh, right. it's Friday
[09:26:10] <mutante>	 in that case.. please ping in -releng if you can get a deploy
[09:28:51] <andre__>	 I can write the code change, let me do that
[09:33:19] <andre__>	 Trizek: https://gerrit.wikimedia.org/r/#/c/operations/mediawiki-config/+/499994 if you find someone to review and deploy in -releng
[13:23:20] <mvolz>	 I have a resource module question, in the console I'm not seeing Jquery.ui.tabs function (it's undefined) but in mediawiki core the file is there and it seems to be loaded in the resource module: https://github.com/wikimedia/mediawiki/blob/95e49195432aae0bf85c73ec43556d44f2fd828f/resources/Resources.php#L594
[13:23:25] <mvolz>	 what am I missing?
[13:24:04] <mvolz>	 it should be public right? 
[13:24:26] <Reedy>	 Added it as a dependancy to wherever you're trying to use it?
[13:43:53] <mvolz>	 Thanks, worked (seems so obvious in retrospect!) 
[13:44:15] <mvolz>	 I guess i assumed all the modules would be loaded by default if available.
[13:44:27] <mvolz>	 which is dumb
[13:44:33] <mvolz>	 also in retrospect
[18:02:02] <ebernhardson>	 pretty sure it's the case, but mediawiki-config InitialiseSettings.php no longer requires the `$wgFoo = $wmgFoo;` indirection for extensions loaded through extension.json?
[18:35:06] <Reedy>	 ebernhardson: Aye, that's correct
[18:38:18] <ebernhardson>	 Reedy: thanks