מדיה ויקי:Common.js: הבדלים בין גרסאות בדף

→ העריכה הקודמת העריכה הבאה ←

@@ שורה 4: / שורה 4: @@
          site = wgServer;
      }
-     if ( page.indexOf( ":" ) == -1 ) {
+     if( page.indexOf( ":" ) == -1 ) {
          page = "MediaWiki:" + page;
      }
      var url = site + wgScript + "?title=" + encodeURIComponent( page.replace( / /g, "_" ) ) + "&action=raw&ctype=text/javascript&dontcountme=s";
-     var scriptElem = document.createElement( 'script' );
+     var scriptElem = document.createElement( "script" );
-     scriptElem.setAttribute( 'src' , url );
+     scriptElem.setAttribute( "src" , url );
-     scriptElem.setAttribute( 'type' , 'text/javascript' );
+     scriptElem.setAttribute( "type" , "text/javascript" );
-     document.getElementsByTagName( 'head' )[0].appendChild( scriptElem );
+     document.getElementsByTagName( "head" )[0].appendChild( scriptElem );
 }