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

Support new manifest.json properties editor and deprecated #51

Closed
ctjdr opened this issue Aug 11, 2022 · 1 comment
Closed

Support new manifest.json properties editor and deprecated #51

ctjdr opened this issue Aug 11, 2022 · 1 comment
Assignees
@ctjdr
Labels
enhancement New feature or request
Projects
The Board
Milestone
0.4.4

Comments

@ctjdr
Copy link
Owner

ctjdr commented Aug 11, 2022

A manifest.json file may have the properties

  • editor to pass information to bundle-processing editors
  • deprecated to signal that this bundle should not be used to bundle-processing editors

The propeties need to be added to the manifest.json schema
@ctjdr ctjdr added the enhancement New feature or request label Aug 11, 2022
@ctjdr ctjdr added this to the 0.4.4 milestone Aug 11, 2022
@ctjdr ctjdr self-assigned this Aug 11, 2022
@ctjdr ctjdr added this to In progress in The Board Aug 11, 2022
ctjdr added a commit that referenced this issue Aug 11, 2022
@ctjdr
Support manifest properties 'deprecated' and 'editor', #51
126aa33
@ctjdr
Copy link
Owner Author

ctjdr commented Aug 11, 2022

Implemented in JSON schema

@ctjdr ctjdr closed this as completed Aug 11, 2022
The Board automation moved this from In progress to Done Aug 11, 2022
@ctjdr ctjdr moved this from Done to Rolled out in The Board Aug 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ctjdr ctjdr

Labels
enhancement New feature or request
Projects
The Board
Rolled out
Milestone
0.4.4
Development

No branches or pull requests
1 participant
@ctjdr