[i18nIgnore] Rename Dev Overlay to Dev Toolbar#5541

Merged

sarah11918 merged 12 commits into

mainfrom

Dec 5, 2023

Commits on Dec 1, 2023

Rename Dev Overlay to Dev Toolbar
matthewp
committed

Commits on Dec 2, 2023

adds content from line 357 to end of file from other PR
sarah11918
authored

Commits on Dec 5, 2023