Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add window.reload() API with optional environment #153019

Closed
wants to merge 1 commit into from
Closed

Add window.reload() API with optional environment #153019

wants to merge 1 commit into from

Conversation

benmcmorran
Copy link
Member

@benmcmorran benmcmorran commented Jun 23, 2022 •
edited
Loading

@benmcmorran benmcmorran mentioned this pull request Jun 23, 2022
Open
@weinand weinand assigned bpasero and unassigned weinand Jun 23, 2022
@bpasero bpasero added this to the Backlog milestone Jun 24, 2022
@bpasero bpasero marked this pull request as draft June 24, 2022 05:17
@benmcmorran
Copy link
Member Author

Closing based on discussion in #152806

@benmcmorran benmcmorran closed this Aug 8, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Sep 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@bpasero bpasero

Labels
None yet
Projects
None yet
Milestone
Backlog
Development

Successfully merging this pull request may close these issues.

API: allow an extension to change the environment variables
3 participants
@benmcmorran @bpasero @weinand