[20:25:32] <bd808>	 c: For T166420 I want to redirect #wikimedia-labs to #wikimedia-cloud. Is that something you could help me plan and do? The new channel is up and running with the registration stuff I read from meta.
[20:25:32] <stashbot>	 T166420: Change irc channels - https://phabricator.wikimedia.org/T166420
[20:29:05] <c>	 bd808: yeah, sec
[20:29:36] <bd808>	 its not urgent at all
[20:30:31] <c>	 there are 188 people in -labs atm, -cloud is the new one?
[20:30:40] <bd808>	 correct
[20:30:56] <bd808>	 I haven't announced the change yet
[20:31:43] <c>	 well i can forward it anytime
[20:33:11] <bd808>	 I think there are some bots that probably need to be moved first. Let me work on that and then get back with you. Maybe early next week?
[20:33:34] <bd808>	 I mostly wanted to know if this was easily doable :)
[20:33:45] <c>	 yes, will take seconds
[20:33:52] <bd808>	 awesome
[20:34:12] <c>	 bd808: whenever you are ready, i will push the button
[20:34:55] <c>	 is wikibugs setup for the new channel?
[20:35:09] <bd808>	 not yet, no.
[20:35:34] * bd808 figures out where to make a patch for that
[20:36:12] <c>	 ok we will want to make sure the bots are setup for the new channel before redirecting, it was mentioned on phabricator too so we don't forget
[21:46:47] <paladox>	 jdlrobson hi, i need help to do https://gerrit.wikimedia.org/r/#/c/332929/
[21:47:03] <paladox>	 since the functions need moving outside of Collection.php for extension.json.
[21:47:46] <paladox>	 And it dosen't seem that AjaxExportList config is supported in extension.json looking at https://github.com/wikimedia/mediawiki/search?utf8=✓&q=AjaxExportList&type=