Manual:SearchResultSetWidget.php