devtools

3542eb1d - Prepare `devtools_extensions`, `devtools_app_shared` releases and fix bug (#6269)