$queue */ public function setQueue(array $queue); /** * Fetch workerqueue information * * @return array Worker queue */ public function getQueue(); /** * Fetch a specific workerqueue field * * @param string $index Work queue record to fetch * * @return mixed|null Work queue item or NULL if not found */ public function getQueueValue(string $index); /** * Returns the current theme name. May be overridden by the mobile theme name. * * @return string Current theme name or empty string in installation phase * @throws Exception */ public function getCurrentTheme(): string; /** * Returns the current mobile theme name. * * @return string Mobile theme name or empty string if installer * @throws Exception */ public function getCurrentMobileTheme(): string; /** * Setter for current theme name * * @param string $theme Name of current theme */ public function setCurrentTheme(string $theme); /** * Setter for current mobile theme name * * @param string $theme Name of current mobile theme */ public function setCurrentMobileTheme(string $theme); public function setThemeInfoValue(string $index, $value); public function getThemeInfo(); public function getThemeInfoValue(string $index, $default = null); /** * Provide a sane default if nothing is chosen or the specified theme does not exist. * * @return string Current theme's stylesheet path * @throws Exception */ public function getCurrentThemeStylesheetPath(): string; /** * Returns the current config cache of this node * * @return Cache */ public function getConfigCache(); /** * The basepath of this app * * @return string Base path from configuration */ public function getBasePath(): string; public function redirect(string $toUrl); }