dwds/debug_extension/web/devtools.html - webdev - Git at Google

 <!DOCTYPE html>
 <html>

 <head>
 </head>

 <body>
   <script src="devtools.js"></script>
 </body>

 </html>
	<!DOCTYPE html>
	<html>

	<head>
	</head>

	<body>
	<script src="devtools.js"></script>
	</body>

	</html>