Fix cpplint errors in devtools_ui.cc