<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>foo</title>
<script src="devtools.js"></script>
</head>
</html>