/** * Restore settings from a minified object found in the database. * * @param \VuFind\Search\Minified $minified Minified Search Object * * @return void */ public function deminify($minified) { parent::deminify($minified); if (isset($this->hiddenFilters['ids'][0])) { $this->setRecordIdsFromFilter($this->hiddenFilters['ids'][0]); unset($this->hiddenFilters['ids']); } }