mirror of
https://github.com/google/blockly.git
synced 2026-01-04 15:40:08 +01:00
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.