@@ -3092,6 +3092,11 @@
An API (Application Programming Interface) is an interface that enables external programs or systems to communicate with the software. The API defines how to access and how to define requests. Some APIs are created specifically for certain programs, others follow industry standards.
We used MediaWiki's API to organize and bundle a large amount of material and later in the process also to export the search queries from the Wiki user interface and then, using query2html, converted them to HTML.
+
+
+
+
+
@@ -3178,6 +3183,10 @@
var selectall = document.querySelector("input.selectall");
selectall.addEventListener("click", function (e) {
alert("SELECT ALL");
+ var checkboxes = document.querySelectorAll("input[type=checkbox][name=print]");
+ for (var i=0; i