diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-07-23 17:56:46 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-07-23 17:56:46 +0000 |
commit | 426bf0f2809f74c53e2764980141d66f8f40b4a1 (patch) | |
tree | 8fd277bab75524da631ee5000b0b7b70e2e00c4c /includes/MainConfigSchema.php | |
parent | f4adeec1a553e4e05d4019e426d7ed59ffaf8ba9 (diff) | |
parent | a668a1bbea314845d4bbe5fa6872f092ec9de04d (diff) | |
download | mediawikicore-426bf0f2809f74c53e2764980141d66f8f40b4a1.tar.gz mediawikicore-426bf0f2809f74c53e2764980141d66f8f40b4a1.zip |
Merge "Add support for user-groups-based conditional options filter"
Diffstat (limited to 'includes/MainConfigSchema.php')
-rw-r--r-- | includes/MainConfigSchema.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/MainConfigSchema.php b/includes/MainConfigSchema.php index 50e5c9fd4413..23566e278dd5 100644 --- a/includes/MainConfigSchema.php +++ b/includes/MainConfigSchema.php @@ -7504,6 +7504,7 @@ class MainConfigSchema { * * CUDCOND_AFTER: user registered after given timestamp (args: string $timestamp) * * CUDCOND_ANON: allows specifying a default for anonymous (logged-out, non-temporary) users * * CUDCOND_NAMED: allows specifying a default for named (registered, non-temporary) users + * * CUDCOND_USERGROUP: users with a specific user group * * @since 1.42 * @see self::DefaultUserOptions |