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