Morris Jobke 0eebff152a Update license headers 7 роки тому
..
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 0eebff152a Update license headers 7 роки тому