<script src=“devtools.js”></script>