jenkins-bot 426bf0f280 Merge "Add support for user-groups-based conditional options filter"		2024-07-23 17:56:46 +00:00
..
Hook
ConditionalDefaultsLookup.php	Add support for user-groups-based conditional options filter	2024-06-29 07:07:06 +00:00
DefaultOptionsLookup.php	Fix various version mention for class_alias	2024-07-05 18:39:49 +02:00
LocalUserOptionsStore.php	user: Introduce UserOptionsStore	2024-06-12 01:27:57 +00:00
StaticUserOptionsLookup.php	Fix various version mention for class_alias	2024-07-05 18:39:49 +02:00
UserOptionsCacheEntry.php	user: Introduce UserOptionsStore	2024-06-12 01:27:57 +00:00
UserOptionsLookup.php	Fix various version mention for class_alias	2024-07-05 18:39:49 +02:00
UserOptionsManager.php	UserOptionsManager: Set the source for local exceptions with default values	2024-07-07 02:25:03 +08:00
UserOptionsStore.php	user: Introduce UserOptionsStore	2024-06-12 01:27:57 +00:00