mirror of
https://github.com/google/blockly.git
synced 2026-06-16 16:15:14 +02:00
2257b1da19
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.