diff --git a/module/VuFindSearch/src/VuFindSearch/Response/RecordCollectionInterface.php b/module/VuFindSearch/src/VuFindSearch/Response/RecordCollectionInterface.php index 533e90897e8..6c883262e20 100644 --- a/module/VuFindSearch/src/VuFindSearch/Response/RecordCollectionInterface.php +++ b/module/VuFindSearch/src/VuFindSearch/Response/RecordCollectionInterface.php @@ -116,7 +116,7 @@ public function setSourceIdentifiers($identifier, $searchBackendId = ''); * @return string */ public function getSourceIdentifier(); - + /** * Sets the result set identifier for the record. * diff --git a/module/VuFindSearch/src/VuFindSearch/Response/RecordInterface.php b/module/VuFindSearch/src/VuFindSearch/Response/RecordInterface.php index b3cad7580d0..e33c4db596f 100644 --- a/module/VuFindSearch/src/VuFindSearch/Response/RecordInterface.php +++ b/module/VuFindSearch/src/VuFindSearch/Response/RecordInterface.php @@ -86,7 +86,7 @@ public function getSearchBackendIdentifier(); * @return void */ public function setResultSetIdentifier(string $uuid); - + /** * Retrieves the unique result set identifier. *