Work towards migrating devtools_app to package:web
#6626
Merged
devtools_app to package:web
#6626