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

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

@@ שורה 15: / שורה 15: @@
 /* פונקציה הטוענת פונקציות בעת עליית הדף */
-function addLoadEvent(e) { hookEvent( "load", e ); }
+function addLoadEvent(e) {
+	hookEvent( "load", e );
+}
 /* פונקציה לקבלת ערך של פרמטר משורת הכתובת */
-function getParamValue( paramName ) { return mw.util.getParamValue(paramName); }
+function getParamValue( paramName ) {
+	return mw.util.getParamValue(paramName);
+}
 mw.loader.using( 'mediawiki.util', function() {
@@ שורה 150: / שורה 154: @@
 });
-/* use http redirect (until a less ad-hoc solution will be exist) */
+/* Use http redirect for Haaretz links until there's a less ad-hoc solution */
 if (document.location.protocol==='https:') {
-	$('a.external[href^="http://www.haaretz.co.il"]').each(function(){
+	$('a.external[href^="http://www.haaretz.co.il"]').each(function() {
 		$(this).attr('href', 'http://tools.wmflabs.org/hewiki-tools/redirect.php?q=' + $(this).attr('href'));
 	});
 }