MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

194 bytes added , 2 years ago

no edit summary

5,960

edits

@@ Line 80: / Line 80: @@
 function openExportOptions() {
    document.getElementById("export-options").style.display = "block";
+}
+function toggleExportOptions() {
+	var x = document.getElementById("export-options");
+	if (x.style.display === "block") {
+		x.style.display = "none";
+	} else {
+		x.style.display = "block";
+	}
 }