Difference between revisions of "MediaWiki:Common.js"

From Rangjung Yeshe Wiki - Dharma Dictionary
Jump to navigation Jump to search
((by SublimeText.Mediawiker))
Tag: Blanking
Line 1: Line 1:
/* Any JavaScript here will be loaded for all users on every page load. */
 
  
 
var isViewingMainPage = (/^MediaWiki(\/.+)? - MediaWiki$/.test(document.title));
 
if (isViewingMainPage) {
 
  document.write('<style type="text/css">/*<![CDATA[*/ #lastmod, #siteSub, h1.firstHeading { display: none !important; } #content { padding-top: 1em; }/*]]>*/</style>');
 
}
 
 
/* Force preview for anons */
 
/* by Marc Mongenet, 2006, fr.wikipedia
 
 
function forcePreview() {
 
  if (wgUserName != null || wgAction != "edit") return;
 
  saveButton = document.getElementById("wpSave");
 
  if (!saveButton) return;
 
  saveButton.disabled = true;
 
  saveButton.value = "Save page (use preview first)";
 
  saveButton.style.fontWeight = "normal";
 
  document.getElementById("wpPreview").style.fontWeight = "bold";
 
}
 
addOnloadHook(forcePreview); */
 
 
/* End of forcePreview */
 
 
/** includePage ************
 
* force the loading of another JavaScript file
 
*
 
* Maintainer: [[Commons:User:Dschwen]]
 
*/
 
 
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
 
// TODO: migrate to JSConfig
 
// var load_extratabs = true;
 
var load_edittools = true;
 
 
// extra drop down menu on editing for adding special characters
 
includePage( 'MediaWiki:Edittools.js' );
 
 
/* End of extra pages */
 

Revision as of 13:24, 5 May 2021