[00:05:42] [[Tech]]; Billinghurst; /* Moving files off Commons to other local wikis -- help required */ new section; https://meta.wikimedia.org/w/index.php?diff=24977139&oldid=24972156&rcid=27240333 [00:08:17] [[Tech]]; Billinghurst; /* Moving files off Commons to other local wikis -- help required */; https://meta.wikimedia.org/w/index.php?diff=24977146&oldid=24977139&rcid=27240342 [00:24:25] [[Tech]]; Billinghurst; /* Moving files off Commons to other local wikis -- help required */ browser console; https://meta.wikimedia.org/w/index.php?diff=24977180&oldid=24977146&rcid=27240418 [11:47:17] quick question – how certain is it, at this point, that the next PHP version in production will be 8.1? [11:47:40] I don’t need a timeline, but for https://phabricator.wikimedia.org/T331275 it would be useful to know if there’s any “risk” that the next PHP version might actually be something else, or if PHP 8.1 is basically guaranteed by now :) [13:53:31] Lucas_WMDE: I think 8.1 is the target per https://phabricator.wikimedia.org/T319432 [13:54:13] which is from October, 8.2 wasn't released yet and 8.2 being potentially a too big bump [13:55:55] the aim is to switch production to Kubernetes (with php 7.4) and upgrade base system / php after that [13:57:21] I see, so full k8s is expected comparatively soon? [17:58:14] Does UserGroupManager::listAllGroups() list the existing explicit wiki local groups, or just the groups of the user making the query? [18:00:18] as the documentation says 'Return the set of defined explicit groups.' [18:10:49] taavi: yep, I understand it's defined user groups for the target wiki, right? [18:10:57] yes? [18:11:11] ok thanks [22:31:50] you [22:32:01] (arrghhh) [22:41:42] ?