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