[22:08:59] For the Popups extension, is there any way to enable it by default for existing users? It seems like new users have it enabled but existing ones don't. [22:34:51] jfolv: $wgDefaultUserOptions probably [22:39:59] moonmoon: I checked the page for that particularly variable and it has nothing related to the Popups extension. There also does not appear to be anything built-in to the extension itself. [22:40:12] *particular, not particularly [22:42:20] $wgDefaultUserOptions is a core configuration. If Popups adds anything to Special:Preferences, $wgDefaultUserOptions is used to set the default value of those prefs [22:43:09] so it'd be a matter of discovering the name of the pref [22:54:18] it's called, cleverly, "popups" and it appears to be indeed enabled by default: https://gerrit.wikimedia.org/g/mediawiki/extensions/Popups/+/master/extension.json#170 (but $wgConditionalUserOptions was a new thing for me; apparently it indeed also is a core thing but only used by a handful of WMF extensions) [22:55:17] yeah was digging for that myself but you found it first :P [22:55:53] codesearch ftw :> [22:56:38] overriding that in LocalSettings is gonna be annoying though [22:57:03] ConditionalUserOptions should probably not be a thing that gets set in extension.json since the appropriate config is very wiki-dependent [22:57:23] $wgConditionalUserOptions['popups'] = []; miiiiight work? [22:58:02] ashley: seems it's new as of 1.42 so that's another reason [22:59:08] ok yeah that snippet should work [23:00:22] ha, nice :D