MediaWiki:Common.js: Unterschied zwischen den Versionen

@@ Zeile 17: / Zeile 17: @@
      document.getElementById("wpPreview").style.fontWeight = "bold";
   });
+ //================================================================================
+ //*** force the loading of another JavaScript file (Kopie von [[Commons:Common.js]])
+ // Local Maintainer: [[Commons:User:Dschwen]]
+ function includePage(name) {
+    document.write('<script type="text/javascript" src="' + wgScript + '?title='
+        + name
+        + '&action=raw&ctype=text/javascript"><\/script>');
+ }