rename workflowextensions.json to extensions.json

[antmendoza]

Many thanks for submitting your Pull Request ❤️!

Please specify parts of this PR update:

• Specification
• Schema
• Examples
• Extensions
• Roadmap
• Use Cases
• Community
• TCK
• Other

Discussion or Issue link:

What this PR does / why we need it:

Special notes for reviewers:

Additional information:

[cdavernas]

Why that PR? I know it's minor, but there is no discussion/issue or even proper description. Is there a problem with the file name as is?

[tsurdilo]

my understanding is that we are trying to fix the editor on website cause its broken. im sure antonio will add a desription..

[cdavernas]

Allright, cheers! Btw, shouldn't we instead fix the website so that we can keep the orignal file name?
Again, no biggies, but extensions.json is less verbose and follows naming conventions of all files.
Or is that fix "temporary", meaning for current version only?

[antmendoza]

@cdavernas appologies,

Shouldn't the id value be the same as the filename?

[antmendoza]

@cdavernas extensions.json make sense to me

[cdavernas]

@antmendoza ahah no worries, even less coming from you ❤️

[antmendoza]

ok, I am renaming the filename, I will wait for @tsurdilo and @ricardozanini confirmation.

[ricardozanini]

+1 to keep extensions.json.

[antmendoza]

done :)

[cdavernas]

LGTM! Thanks!