<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title></title>
<script src="panel.js"></script>
</head>
<body>
a custom devtools extension
</body>
</html>