devtools

83964498 - Move some common widgets and utilities to `devtools_app_shared` (#7979)