Manual:BasicSearchResultSetWidget.php