Joas Schilling 8f8d7cf9d3 Catch exception when the parent is deleted as well 6 years ago
..
Filter 0eebff152a Update license headers 7 years ago
Settings 0eebff152a Update license headers 7 years ago
FavoriteProvider.php 0eebff152a Update license headers 7 years ago
Helper.php 0d940e581a Move the favorites filter to IFilter 8 years ago
Provider.php 8f8d7cf9d3 Catch exception when the parent is deleted as well 6 years ago