devtools
Update dart doc for some `devtools_extensions` members
#6737
Merged

Commits
Loading