"मीडियाविकि:Common.js": अवतरणों में अंतर

19:06, 26 जून 2022 के समय का अवतरण

/* यहां लिखी गई जावास्क्रीप्ट सभी सदस्योंके लिये इस्तेमाल में लाई जायेगी। */

@@ पंक्ति 1: / पंक्ति 1: @@
 /* यहां लिखी गई जावास्क्रीप्ट सभी सदस्योंके लिये इस्तेमाल में लाई जायेगी। */
-function includePage( name )
-{
- document.write('<script type="text/javascript" src="' + wgScript + '?title='
-  + name
-  + '&action=raw&ctype=text/javascript"><\/script>'
- );
-}
-/* End of includePage */
-/* Including extra .js pages */
-// switches for scripts
-// var load_extratabs = true;
-var load_edittools = true;
-// extra drop down menu on editing for adding special characters
-includePage( 'MediaWiki:Edittools.js' );