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.

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

fix(renamings): Small correction to renaming of Blockly.utils.global #6599

Merged
merged 1 commit into from
Nov 15, 2022

Conversation

cpcallen
Copy link
Contributor

@cpcallen cpcallen commented Nov 3, 2022

The basics

  • I branched from develop
  • My pull request is against develop
  • My code follows the style guide
  • I ran npm run format and npm run lint

The details

Resolves

A small error in the entry for Blockly.utils.global, that failed to account for the fact that this (former) module had a named export.

Proposed Changes

Adjust the entry to make it clear that globalThis was a named export, not the default export.

Also remove some unnecessary quoting of keywords.

Behaviour Before Change

It would have worked anyway.

Behaviour After Change

It will work correctly, and now for the right reason.

Reason for Changes

I am pedantic.

Additional Information

This change doesn't make any difference in practice to the behaviour of the renamings script, so there is no reason to push it to master immediately for the benefit of the renamings script.

It doesn't make any difference in practice to the behaviour
of the renamings script, but this entry in renamings.json5
was slightly mis-specified, and only works properly because
this former module had only a singe export.

Also remove some unnecessary quoting of keywords.
@cpcallen cpcallen added the PR: fix Fixes a bug label Nov 3, 2022
@cpcallen cpcallen requested a review from a team as a code owner November 3, 2022 14:16
@github-actions github-actions bot added PR: fix Fixes a bug and removed PR: fix Fixes a bug labels Nov 3, 2022
Copy link
Contributor

@maribethb maribethb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry I missed this in my list of PRs.

@cpcallen cpcallen merged commit 2257b1d into google:develop Nov 15, 2022
@cpcallen cpcallen deleted the fix-global-rename branch November 16, 2022 10:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: fix Fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants