Update dev-tools.js

dev-tools.js

@@ -507,5 +507,5 @@
     // 初期メッセージ
     console.log('開発者ツールが初期化されました');
     console.log('このコンソールでJavaScriptを実行できます');
-  }
+  })
 })();