$actions */ public function display_selector(Page $page, array $actions, string $query): void { $body = "