devtools
Prepare `devtools_app_shared` and `devtools_extensions` for publishing to 0.5.0
#9652
Merged
Merged