[16:40:32] anomie: do you mind if I move out meeting on Friday to start 30 minutes earlier? I have an interview to give at 16:00Z and would like a little room in between to refill my water glass :) [16:44:37] bd808: Go ahead [16:44:50] sweet, I already did :) [17:43:49] Fun PHP bug for the day: `$n = 1234.5; setlocale( LC_NUMERIC, "ps_AF" ); echo "$n\n";` produces "1234Ù5", not "1234٫5" like that locale on my system says to, because PHP's custom number formatting code assumes the locale's decimal_point is a single char. Filed upstream as https://bugs.php.net/bug.php?id=78113. [19:11:45] in case folks haven't seen it, potential train blocker https://phabricator.wikimedia.org/T225115 and maybe it's got to do with some of the user rights refactoring? if someone can have a look [19:54:06] apergos: T225115 you mentioned earlier got solved. It is an aftermath of some craziness happening with FlaggedRevs [19:54:12] T225115: neither bureaucrats nor admins can grant the right for "autoreview" or "editor" since 1.34.0-wmf.8. - https://phabricator.wikimedia.org/T225115 [19:54:24] yeah I saw Reedy got it [19:54:44] which is quite hard to get right on the first pass [19:54:52] I can only imagine [19:54:59] the mediawiki-config is very very hardly coupled with FlaggedRevs internal settings [19:55:19] look at https://noc.wikimedia.org/conf/highlight.php?file=flaggedrevs.php for shits and giggles [19:55:26] sometimes we override [19:55:27] luckily R.eedy is doing them and has all the expertise to do it ;] [19:55:30] sometimes we replace [19:55:32] wait [19:55:38] sometimes we just do shit and hope for the best [19:55:43] we still have noc.wikimedia.org/conf/highlight.php !!?!! [19:55:51] 4 lyf [19:56:03] and I thought we phased it out [19:56:10] due to the risk of leaking info .. bah [19:56:15] I am outdated / too old [19:57:22] IIRC I tried to get rid of it at some point but someone decided we still needed it [19:58:47] what a mess