devtools

dc30f8eb - Prepare devtools_app_shared and devtools_extensions for publishing to 0.5.0 (#9652)