mirror of
https://github.com/google/blockly.git
synced 2026-02-13 11:00:10 +01:00
This PR is an alternative approach for allowing redeclaration of registry entries. It assumes all keys are case-sensitive, even if the registry is being used in an case-insensitive manner. I do NOT recommend merging this PR. It expands upon an already inconsistent API and makes it even less intuitive.