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