[web_app] Minor cleanup and consistency improvements#8145
Merged
isoos merged 2 commits intodart-lang:masterfrom Oct 15, 2024
Merged
[web_app] Minor cleanup and consistency improvements#8145isoos merged 2 commits intodart-lang:masterfrom
isoos merged 2 commits intodart-lang:masterfrom