Morris Jobke 0eebff152a Update license headers vor 7 Jahren
..
PagedProvider.php 0eebff152a Update license headers vor 7 Jahren
Provider.php ba87db3fcc Fix others vor 8 Jahren
Result.php ba87db3fcc Fix others vor 8 Jahren