Revert to code state of 3.13.1 plus r12350

src/d8.h

Index: src/d8.h
diff --git a/src/d8.h b/src/d8.h
index a62a81fd9c1f3ae90bdac125f4a1d3bb2a53d003..9e88eca141afa48c2b7590f0e509dff8f8127357 100644
--- a/src/d8.h
+++ b/src/d8.h
@@ -227,7 +227,6 @@ class ShellOptions {
 #endif  // V8_SHARED
      script_executed(false),
      last_run(true),
-     send_idle_notification(false),
      stress_opt(false),
      stress_deopt(false),
      interactive_shell(false),
@@ -250,7 +249,6 @@ class ShellOptions {
 #endif  // V8_SHARED
   bool script_executed;
   bool last_run;
-  bool send_idle_notification;
   bool stress_opt;
   bool stress_deopt;
   bool interactive_shell;