chore: fix EditorConfig lint errors (issue #7912)#7920

Planeshifter merged 1 commit intostdlib-js:developstdlib-js/stdlib:developfrom

nakul-krishnakumar:chorenakul-krishnakumar/stdlib:choreCopy head branch name to clipboard