jenkins-bot 4e9eb2f8d7 Merge "DefaultPreferencesFactory: Remove fallback for null PermissionManager"		2019-09-17 20:32:17 +00:00
..
DefaultPreferencesFactory.php	Merge "DefaultPreferencesFactory: Remove fallback for null PermissionManager"	2019-09-17 20:32:17 +00:00
Filter.php	Fix typo in docs	2019-05-31 00:07:34 -04:00
IntvalFilter.php	Introduce preference filters	2018-07-17 13:19:14 -07:00
MultiUsernameFilter.php	Finish sentence in MultiUsernameFilter documentation	2019-05-28 18:54:18 +01:00
PreferencesFactory.php	Remove PreferencesFormLegacy.php	2019-04-14 02:08:32 +00:00
TimezoneFilter.php	Introduce preference filters	2018-07-17 13:19:14 -07:00