#589342: Introduce page_manager_get_current_page() to get information about the current page manager page.