Index: doc/next-migration.html
===================================================================
diff -u -r4e80fb687a82af0fc9ac0d109863931f4910de4a -rf35ab630098876f0efbd8117aa981eb199a45227
--- doc/next-migration.html (.../next-migration.html) (revision 4e80fb687a82af0fc9ac0d109863931f4910de4a)
+++ doc/next-migration.html (.../next-migration.html) (revision f35ab630098876f0efbd8117aa981eb199a45227)
@@ -719,11 +719,7 @@
reinstall();
}
- timerId = setInterval(reinstall, 500);
- if (document.addEventListener)
- document.addEventListener("DOMContentLoaded", reinstallAndRemoveTimer, false);
- else
- window.onload = reinstallAndRemoveTimer;
+ reinstall();
}
}
@@ -736,8 +732,8 @@
Migration Guide for the Next Scripting Language
Gustaf Neumann
<neumann@wu-wien.ac.at>
-version 2.2.0,
-September 2018
+version 2.3.0,
+May 2019
Table of Contents
@@ -6480,8 +6476,8 @@