[13:48:26] is it possible to restrict certain global groups from adding certain global groups to other accounts [22:24:14] Is it a known thing that editing LocalSettings.php can cause your wiki to take eons to load the next time someone visits it? Like 30 seconds? I guess it causes some caches to be invalidated or something? [22:25:58] Unrelated: I've discovered that it's Extension:Popups that causes mw.user.sessionId() to be called on page visit even if not logged in. [22:29:14] taylan: yes, the LocalSettings.php thing is expected, let me find some documentation about this. although 30 seconds is still pretty slow to load even with the coldest of caches, so maybe there is some other problem. [22:30:00] https://www.mediawiki.org/wiki/Manual:$wgInvalidateCacheOnLocalSettingsChange [22:30:15] i'm not sure exactly what kinds of caches this invalidates… but it invalidates some cache for sure [22:33:13] thanks, I had no idea about that config option! [22:54:59] anyone know how to best reach people familiar with Extension:Popups? for now I've written on the talk page: https://www.mediawiki.org/w/index.php?title=Topic:Xsncs66w51etkdax [23:09:03] taylan: you might have more luck getting a response if you file a report about it in our Phabricator. although personally, i wouldn't really consider that behavior to be a bug [23:10:18] i'm not an export on this, but it should be somehow possible to avoid these cookies breaking caching. in the WMF configuration, i think we only make the cookies related to logging-in bypass the Varnish cache [23:11:17] https://wikitech.wikimedia.org/wiki/CDN#Caching "The front-end caching layer hides non-session cookies (those that don't match ([sS]ession|Token)=) for cache lookup purposes." [23:11:35] (i have no idea how exactly it does that, sorry) [23:13:23] oh, it happens in the configuration here: https://codesearch.wmcloud.org/search/?q=\[sS\]ession although i have no idea how to make use of these files, either :)